Runtime Verificationde Oleg SokolskyMateriasLogic designComputer scienceSoftware engineeringInformation networksComputer software, verificationAspect-oriented programmingFormal methods (Computer science)CongressesComputer softwareTestingVerificationEdiciones (1)Runtime Verification (2007)Springer-Verlag Berlin Heidelberg · inglés · ISBN 9783540773948Más obras de Oleg SokolskyFrom 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 Workshops
EEmerging Directions in Embedded and Ubiquitous Computing : EEmerging Directions in Embedded and Ubiquitous Computing : EUC 2006 Workshops
