Formal Modeling and Analysis of Timed Systems
Lecture Notes in Computer Science

Formal Modeling and Analysis of Timed Systems Lecture Notes in Computer Science
Details
- OL Work ID
- OL17546726W
Subjects
Logic designInformation theoryComputer system performanceComputer scienceSoftware engineeringComputer simulationCongressesTemporal automataFormal methods (Computer science)