000			00815nam a2200133Ia 4500
008			2212144s2020 xx 000 0 und d
020			_a9783030469023
041			_aeng
100			_aOsman Hasan, Frédéric Mallet.
245			_aFormal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers
260			_aCham _bSpringer _c2020
650			_aComputers. 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.
856			_uhttps://doi.org/10.1007/978-3-030-46902-3
999			_c84801 _d84801