Formal modeling and analysis of timed systems
by Wang Yi
Machine theoryAutomates temporelsMéthodes formelles (Informatique)Temporal automataSimulation par ordinateurRobotsCongrèsAutomates mathématiques, Théorie des
Writing a summary for young readers…
For young readers
Book data: Open Library