000 00718nmm a2200241Ia 4500
001 EBK18167
005 20250328152041.0
008 250328s9999 xx 000 0 und d
020 _a9783030328726
100 _aYiannis Papadopoulos
245 0 _aModel-Based Safety and Assessment
250 _a2019
260 _bspringer
260 _c2019
490 _aLecture Notes in Computer Science
650 _aComputer Science
650 _aComputer Science Logic and Foundations of Programming
700 _a Koorosh Aslansefat
700 _a Panagiotis Katsaros
856 _3Click here to access online
856 _uhttps://link.springer.com/openurl?genre=book&isbn=978-3-030-32872-6
942 _cEBK
999 _c166172
_d166172