Personensuche
X
?
2023 International Conference on ICT for Sustainability (ICT4S) ,
3
Assessing the Potential of Carpooling for Reducing Vehicle ..:
, In:
?
Proceedings of the 23rd Conference on Design, Automation and Test in Europe ,
8
Session details: Emerging machine learning applications and..:
, In:
?
2019 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) ,
12
CertiCAN: A Tool for the Coq Certification of CAN Analysis ..:
, In:
?
Proceedings of the 26th International Conference on Real-Time Networks and Systems ,
13
A Generalized Digraph Model for Expressing Dependencies:
, In:
?
Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science ,
14
Building Correct Cyber-Physical Systems: Why We Need a Mult..:
, In:
?
Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science ,
15