Personensuche
X
?
?
Communications in Computer and Information Science; Model-Driven Engineering and Software Development ,
2
Decomposable and Executable Models for Verification of Real..:
, In:
?
Automated Technology for Verification and Analysis; Lecture Notes in Computer Science ,
3
Automatic Verification of High-Level Executable Models Runn..:
, In:
?
Lecture Notes in Computer Science; RoboCup 2021: Robot World Cup XXIV ,
4