Published in: Lecture notes in computer science ; 6894

Published in: Lecture notes in computer science ; 6894

Published in: Lecture Notes in Computer Science (2010), Seite 215-228

Published in: Lecture Notes in Computer Science (2022), Seite 308-320

Published in: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (2022), Seite 192-208

Published in: Formal Aspects of Computing, 33 (2021) 6, Seite 989-1007

Published in: IEEE Access, 9 (2021), Seite 4797-4819

Published in: Infrastructures, 6 (2021) 10, Seite 136

Published in: Software & Systems Modeling, 18 (2019) 3, Seite 2241-2264

Published in: Journal of High Speed Networks, 23 (2017) 2, Seite 175-186

Published in: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (2017), Seite 34-50

Published in: IFAC-PapersOnLine, 48 (2015) 21, Seite 682-687

Published in: Lecture Notes in Computer Science (2014), Seite 230-245

Published in: International Journal of Reliability, Quality and Safety Engineering, 21 (2014) 1, Seite 1450001

Published in: International Journal on Software Tools for Technology Transfer, 16 (2014) 6, Seite 669-683

Published in: Lecture Notes in Computer Science (2013), Seite 128-139

Published in: Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies (2012), Seite 190-204

Published in: Lecture Notes in Computer Science (2011), Seite 191-204

Published in: IEEE Transactions on Automation Science and Engineering (2011)

Published in: Lecture Notes in Computer Science (2009), Seite 336-343