Proceedings of the International Workshop on Formalization of Modeling Languages

Proceedings of the International Workshop on Formalization of Modeling Languages

Bibliographic Details
Format:	Electronic Book
Language:	English
Published:	Association for Computing Machinery (ACM), 6/21/10
Subjects:	Conference papers and proceedings.
Online Access:	Full text available on Research4Life (ACM)
Classic Catalogue:	View this record in Classic Catalogue

Similar Items

Formal Languages and Compilation
by: Crespi Reghizzi
Published: (2013)

Automata Theory and Formal Languages
by: Kandar, Shyamalendu

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

Proceedings of the second workshop on Automated formal methods

A Formal Model of Optimum Currency Areas /
by: Bayoumi, Tamim
Published: (1994)

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

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

Introduction to formal languages, automata theory and computation /
by: Krithivasan, Kamala
Published: (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
Published: (2013)

Speculative Formalism
by: 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
by: 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)