Oleg Sokolsky

Books
From Reactive Systems to Cyber-Physical Systems From Reactive Systems to Cyber-Physical Systems
From Reactive Systems to Cyber-Physical Systems
2019
Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications
2017
Runtime Verification Runtime Verification
Runtime Verification
2007