Automata - Congresses.

Formal Modeling and Analysis of Timed Systems : = Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings by: (Language materials, printed)

Formal modeling and analysis of timed systems = 6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : proceedings / by: (Language materials, printed)

Formal modeling and analysis of timed systems = first international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : revised papers / by: (Language materials, printed)

Computer simulation- Congresses.

Software Engineering.

Theory of Computation.

Automata

Logics and Meanings of Programs.

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Special Purpose and Application-Based Systems.

Models and Principles.

Computer Science.

System Performance and Evaluation.

Temporal automata