Yazar
Ölveczky, Peter Csaba. editor.
Format:
Electronic Resources
Alıntı:
cyber-physical systems, UAVs, autonomous robots, and feature-oriented and operating systems. They are organized
Yazar
Havelund, Klaus. editor. (orcid)0000-0001-7079-0472
Format:
Electronic Resources
Alıntı:
developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical systems in
View Other Search Results
Yazar
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
Format:
Electronic Resources
Alıntı:
When are Software Verification Results Valid for Approximate Hardware -- Testing Robots using CSP
Arama Sonuçlarını Sınırlandır
Daraltılmış: