TY  - BOOK
AU  - Osman Hasan, Frédéric Mallet.
TI  - Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers
SN  - 9783030469023
PY  - 2020///
CY  - Cham
PB  - Springer
KW  - 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
UR  - https://doi.org/10.1007/978-3-030-46902-3
ER  -