O
Oleg Sokolsky
5 works on record
Works

Runtime Verification

From Reactive Systems to Cyber-Physical Systems

Dependable Software Engineering. Theories, Tools, and Applications
Emerging Directions in Embedded and Ubiquitous Computing : EUC 2006 Workshops
Emerging Directions in Embedded and Ubiquitous Computing : EUC 2006 Workshops
Composition of Embedded Systems. Scientific and Industrial Issues
Composition of Embedded Systems. Scientific and Industrial Issues