Proceedings of the International Workshop on Formalization of Modeling Languages

Proceedings of the International Workshop on Formalization of Modeling Languages

Detalles Bibliográficos
Formato:	Electrónico Libro
Idioma:	English
Publicado:	Association for Computing Machinery (ACM), 6/21/10
Subjects:	Conference papers and proceedings.
Acceso en liña:	Full text available on Research4Life (ACM)
Classic Catalogue:	View this record in Classic Catalogue

Títulos similares

Formal Languages and Compilation
por: Crespi Reghizzi
Publicado: (2013)

Automata Theory and Formal Languages
por: Kandar, Shyamalendu

Formal Modeling and Analysis of Timed Systems
Publicado: (2013)

Proceedings of the second workshop on Automated formal methods

A Formal Model of Optimum Currency Areas /
por: Bayoumi, Tamim
Publicado: (1994)

Structured Object-Oriented Formal Language and Method
Publicado: (2013)

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

Introduction to formal languages, automata theory and computation /
por: Krithivasan, Kamala
Publicado: (2009)

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

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

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

Formal Grammar
Publicado: (2013)

Speculative Formalism
por: Eyers

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

Formal Requirements (FORMREQ), IEEE Workshop on

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
por: 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)