Temporal automata - Congresses.

Formal modeling and analysis of timed systems[electronic resource] :12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Formal Modeling and Analysis of Timed Systems[electronic resource] :13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Formal modeling and analysis of timed systems[electronic resource] :14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : proceedings / …で: (コンピュータ・メディア)

Software Engineering.

Logics and Meanings of Programs.

Computation by Abstract Devices.

Formal methods (Computer science)

Computer simulation

Computer Science.

Temporal automata

System analysis

Computer Applications.

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Computation by Abstract Devices.

Formal methods (Computer science)

Computer simulation

Computer Science.

Temporal automata

System analysis

Computer Applications.

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Computation by Abstract Devices.

Formal methods (Computer science)

Computer simulation

Computer Science.

Temporal automata

System analysis

Computer Applications.