Showing 1 - 9 results of 9 for search 'Sokolsky, Oleg', query time: 0.03s Refine Results
  1. 1
    Foundations of Computer Software. Future Trends and Techniques for Development 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers
    by Choppy, Christine
    Published 2010
    Other Authors: “…Sokolsky, Oleg…”
    Get full text
    Electronic Kit Book
  2. 2
    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
    Other Authors: “…Sokolsky, Oleg…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Runtime Verification 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers /
    Published 2007
    Other Authors: “…Sokolsky, Oleg…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Composition of Embedded Systems. Scientific and Industrial Issues 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers /
    Published 2008
    Other Authors: “…Sokolsky, Oleg…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings /
    Published 2017
    Other Authors: “…Sokolsky, Oleg…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday /
    Published 2019
    Other Authors: “…Sokolsky, Oleg…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings /
    Published 2010
    Other Authors: “…Sokolsky, Oleg…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
    by Barringer, Howard
    Published 2010
    Other Authors: “…Sokolsky, Oleg…”
    Get full text
    Electronic Kit Book
  9. 9
    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
    Other Authors: “…Sokolsky, Oleg…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search