Oleg Sokolsky

Identifiers

Open LibraryOL7215361A

Top Subjects

Embedded computer systems (1)
Ubiquitous computing (1)
Computer science (1)
Information networks (1)
Logic design (1)
Software engineering (1)

Books by Oleg Sokolsky

Total count: 6

Emerging Directions in Embedded and Ubiquitous Computing : EUC 2006 WorkshopsNCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006, Proceedings

Springer London, Limited2006-01-01
Runtime Verification7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers

Springer-Verlag Berlin Heidelberg2007-01-01
Composition of Embedded Systems. Scientific and Industrial Issues13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers

Springer London, Limited2007-01-01
Dependable Software Engineering. Theories, Tools, and ApplicationsThird International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, ...

Springer2017-10-17
From Reactive Systems to Cyber-Physical SystemsEssays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday

Springer2019-09-21
Automated Technology for Verification and Analysis18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings

Springer International Publishing AG2020-01-01