Proceedings of the International Workshop on Formalization of Modeling Languages

Proceedings of the International Workshop on Formalization of Modeling Languages

Podrobná bibliografie
Médium:	Elektronický zdroj Kniha
Jazyk:	English
Vydáno:	Association for Computing Machinery (ACM), 6/21/10
Témata:	Conference papers and proceedings.
On-line přístup:	Full text available on Research4Life (ACM)
Classic Catalogue:	View this record in Classic Catalogue

Podobné jednotky

Formal Languages and Compilation
Autor: Crespi Reghizzi
Vydáno: (2013)

Automata Theory and Formal Languages
Autor: Kandar, Shyamalendu

Formal Modeling and Analysis of Timed Systems
Vydáno: (2013)

Proceedings of the second workshop on Automated formal methods

A Formal Model of Optimum Currency Areas /
Autor: Bayoumi, Tamim
Vydáno: (1994)

Structured Object-Oriented Formal Language and Method
Vydáno: (2013)

Introduction to Automata Theory, Formal Languages and Computation
Autor: Kandar, Shyamalendu

Introduction to formal languages, automata theory and computation /
Autor: Krithivasan, Kamala
Vydáno: (2009)

Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems

Proceedings of the second workshop on Formal methods in software practice

Proceedings of the third workshop on Formal methods in software practice

Proceedings of the fourth ACM workshop on Formal methods in security

Proceedings of the 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign

Proceedings of the Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign

Proceedings of the Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign

Proceedings of the Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign

Proceedings of the Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign

Formal Requirements (FORMREQ), IEEE Workshop on

Proceedings of the Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign

Formal Grammar
Vydáno: (2013)

Speculative Formalism
Autor: Eyers

Proceedings of the 7th International Workshop on Formal Methods in Software Engineering

Proceedings of the 2018 ACM SIGPLAN International Workshop on Formal Methods and Security

Proceedings of the Second ACM/IEEE International Conference on Formal Methods and Models for Co-Design

Proceedings of the 7th IEEE/ACM international conference on Formal Methods and Models for Codesign

Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design

Proceedings of the Fourth ACM/IEEE International Conference on Formal Methods and Models for Co-Design

Proceedings of the 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign

Proceedings of the Sixth ACM/IEEE International Conference on Formal Methods and Models for Co-Design

Proceedings of the Workshop on Geometrical Models of Natural Language Semantics
Autor: Pennacchiotti

Proceedings of the Workshop on Computational Models of Language Acquisition and Loss

Proceedings of the 2011 workshop on Predictive markup language modeling

Proceedings of the Second Workshop on Graphical Modeling Language Development

Proceedings of the Workshop on Psychocomputational Models of Human Language Acquisition

Proceedings of the Third FME Workshop on Formal Methods in Software Engineering

Proceedings of the 2003 ACM workshop on Formal methods in security engineering

Proceedings of the 2007 ACM workshop on Formal methods in security engineering

Proceedings of the 2005 ACM workshop on Formal methods in security engineering

Proceedings of the 2004 ACM workshop on Formal methods in security engineering

2020 IEEE Workshop on Formal Requirements (FORMREQ)