Search results for: Eckehard Schnieder
Reliability Engineering & System Safety > 2017 > 164 > C > 10-23
IET Intelligent Transport Systems > 2017 > 11 > 5 > 299 - 307
IEEE Transactions on Intelligent Transportation Systems > 2016 > 17 > 11 > 3045 - 3061
2016 35th Chinese Control Conference (CCC) > 10248 - 10252
Lecture Notes in Computer Science > Integration of Software Specification Techniques for Applications in Engineering > Part II: Reference Case Study Traffic Control Systems > 89-95
Lecture Notes in Control and Information Sciences > Modelling, Analysis, and Design of Hybrid Systems > Analysis and Verification > 285-294
Lecture Notes in Control and Information Sciences > Modelling, Analysis, and Design of Hybrid Systems > Applications > 355-367
acatech DISKUTIERT > Sicherheitsforschung-Chancen und Perspektiven > Thematische und Begriffllche Strukturierung der Aktuellen Sicherheitsforschung > 73-115
Lecture Notes in Computer Science > Integration of Software Specification Techniques for Applications in Engineering > Part II: Reference Case Study Traffic Control Systems > 96-118
Lecture Notes in Computer Science > Formal Methods in Software and Systems Modeling > Formal and Visual Modeling > 402-411
acatech DISKUTIERT
Lecture Notes in Control and Information Sciences
Software & Systems Modeling > 2018 > 17 > 1 > 295-317
IEEE Transactions on Intelligent Transportation Systems > 2015 > 16 > 2 > 1054 - 1059