Catalin Dima, Mahsa Shirmohammadi. <br/><br/>
Formal Modeling and Analysis of Timed Systems : 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings 

 - Cham  Springer  2021 
<br/><br/><label>ISBN: </label>9783030850371 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science. Software engineering. Computer systems. Computers, Special purpose. Computer simulation. Microprogramming . Theory of Computation. Software Engineering. Computer System Implementation. Special Purpose and Application-Based Systems. Computer Modelling. Control Structures and Microprogramming.