Osman Hasan, Frédéric Mallet. <br/><br/>
Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers 

 - Cham  Springer  2020 
<br/><br/><label>ISBN: </label>9783030469023 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computers. Computer communication systems. Artificial intelligence. Computer logic. Special purpose computers. Microprogramming . Computer simulation. Theory of Computation. Computer Communication Networks. Logic in AI. Special Purpose and Application-Based Systems. Control Structures and Microprogramming. Simulation and Modeling.