Cover Image
Read Now

1
Published 2020
Springer International Publishing
Table of Contents: “... to the Case Study -- Short Articles of the PhD-Symposium (Work in Progress)...”
Cover Image
Read Now

2
Published 2021
Springer International Publishing
Table of Contents: “... Transformation of SysML Model to Event-B Model for Railway CCS Application -- Short Articlesof the PhD-Symposium...”
Cover Image
Read Now

3
Published 2023
Springer Nature Switzerland
“... include 4 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly...”