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
Foundations of Computer Software. Future Trends and Techniques for Development Foundations of Computer Software. Future Trends and Techniques for Development
Foundations of Computer Software. Future Trends and Techniques for Development
2010