Oleg Sokolsky · 5 obras en el catálogoObrasRuntime VerificationFrom Reactive Systems to Cyber-Physical SystemsDependable Software Engineering. Theories, Tools, and ApplicationsEEmerging Directions in Embedded and Ubiquitous Computing : EEmerging Directions in Embedded and Ubiquitous Computing : EUC 2006 WorkshopsCComposition of Embedded Systems. Scientific and Industrial IComposition of Embedded Systems. Scientific and Industrial Issues
EEmerging Directions in Embedded and Ubiquitous Computing : EEmerging Directions in Embedded and Ubiquitous Computing : EUC 2006 Workshops
CComposition of Embedded Systems. Scientific and Industrial IComposition of Embedded Systems. Scientific and Industrial Issues