Formal Modeling and Analysis of Timed Systems
by Sriram Sankaranarayanan, Enrico Vicario
Computer simulationSystem analysis
Writing a summary for young readers…
For young readers
Book data: Open Library
by Sriram Sankaranarayanan, Enrico Vicario
Book data: Open Library