MPG.eBooks - Author Search Results

Cover Image

1

Runtime Verification : 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers

Published 2007

Springer Berlin Heidelberg

Other Authors: “...Sokolsky, Oleg...”

Cover Image

2

Composition of Embedded Systems. Scientific and Industrial Issues : 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers

Published 2008

Springer Berlin Heidelberg

Other Authors: “...Sokolsky, Oleg...”

Cover Image

3

Foundations of Computer Software: Future Trends and Techniques for Development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers

Published 2010

Springer Berlin Heidelberg

Other Authors: “...Sokolsky, Oleg...”

Cover Image

4

Automated Technology for Verification and Analysis : 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings

Published 2020

Springer International Publishing

Other Authors: “...Sokolsky, Oleg...”

Cover Image

5

Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

Published 2017

Springer International Publishing

Other Authors: “...Sokolsky, Oleg...”

Cover Image

6

From Reactive Systems to Cyber-Physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday

Published 2019

Springer International Publishing

Other Authors: “...Sokolsky, Oleg...”

Cover Image

7

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

Published 2006

Springer Berlin Heidelberg

Other Authors: “...Sokolsky, Oleg...”