Skip to content
Vinony

Formal Modeling and Analysis of Timed Systems

by Axel Legay, Marius Bozga

Cover of Formal Modeling and Analysis of Timed Systems

No description available.

Computer scienceSoftware engineeringLogic designComputation by Abstract DevicesLogics and Meanings of ProgramsComputer Applications
Formal Modeling and Analysis of Timed Systems by Axel Legay, Marius Bozga — book · Vinony