Your search returned 8 results.

Results
	1.	From Reactive Systems to Cyber-Physical Systems [electronic resource] : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday / by Bartocci, Ezio [editor.] Cleaveland, Rance [editor.] Grosu, Radu [editor.] Sokolsky, Oleg [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11500 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Automated Technology for Verification and Analysis [electronic resource] : 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings / by Hung, Dang Van [editor.] Sokolsky, Oleg [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12302 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3.	Dependable Software Engineering. Theories, Tools, and Applications [electronic resource] : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings / by Larsen, Kim Guldstrand [editor.] Sokolsky, Oleg [editor.] Wang, Ji [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10606 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4.	Foundations of Computer Software: Future Trends and Techniques for Development [electronic resource] : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers / by Choppy, Christine [editor.] Sokolsky, Oleg [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6028 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5.	Runtime Verification [electronic resource] : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings / by Barringer, Howard [editor.] Falcone, Ylies [editor.] Finkbeiner, Bernd [editor.] Havelund, Klaus [editor.] Lee, Insup [editor.] Pace, Gordon [editor.] Rosu, Grigore [editor.] Sokolsky, Oleg [editor.] Tillmann, Nikolai [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6418 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6.	Composition of Embedded Systems. Scientific and Industrial Issues [electronic resource] : 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers / by Kordon, Fabrice [editor.] Sokolsky, Oleg [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4888 Edition: 1st ed. 2008. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	7.	Emerging Directions in Embedded and Ubiquitous Computing [electronic resource] : EUC 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006, Proceedings / by Zhou, Xiaobo [editor.] Sokolsky, Oleg [editor.] Yan, Lu [editor.] Jung, Eun-Sun [editor.] Shao, Zili [editor.] Mu, Yi [editor.] Lee, Dong-Chun [editor.] Kim, Daeyoung [editor.] Jeong, Young-Sik [editor.] Xu, Cheng-Zhong [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4097 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8.	Runtime Verification [electronic resource] : 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers / by Sokolsky, Oleg [editor.] Tasiran, Serdar [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4839 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

© 2024 IIIT-Delhi, library@iiitd.ac.in