Search for persons
X
?
Companion of the 2021 ACM SIGCHI Symposium on Engineering Interactive Computing Systems ,
5
ActuBoard: An Open Rapid Prototyping Platform to integrate ..:
, In:
?
Test, Analyse und Verifikation von Software - gestern, heute, morgen / Andreas Spillner, Mario Winter, Andrej Pietschker (Hrsg.)
7
Complete model-based testing:
, In:Copies:
Zentrale:Magazin 02.s.6738; TB BHV: com 420/76
?
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification / edited by Thierry Lecomte, Ralf Pinger, Alexander Romanovsky
12
A novel approach to HW/SW integration testing of route-base..:
, In:
?
Formal Modeling and Verification of Cyber-Physical Systems ,
13