Zoeken

U zocht naar: Auteur Sokolsky, Oleg Filter Auteur: Sokolsky, Oleg weghalen Type e-book Filter Type: e-book weghalen
1 - 8 van 8
Aantal zoekresultaten per pagina

Zoekresultaten

1. Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings
thumbnail
Full text!
Auteur:
Hung; Sokolsky, Oleg
Uitgever:
Springer International Publishing 2020
Type:
e-book
2. Dependable Software Engineering. Theories, Tools, and Applications
thumbnail
Full text!
Auteur:
Larsen; Sokolsky, Oleg; Wang, Ji
Uitgever:
Springer International Publishing 2017
Type:
e-book
3. Composition of Embedded Systems. Scientific and Industrial Issues
thumbnail
Full text!
Auteur:
Kordon, Fabrice; Sokolosky, Oleg; Sokolsky, Oleg
Uitgever:
Springer Berlin Heidelberg 2008
Type:
e-book
4. Runtime Verification
thumbnail
Full text!
Auteur:
Sokolsky, Oleg; Taşıran, Serdar
Uitgever:
Springer Berlin Heidelberg 2007
Type:
e-book
5. From Reactive Systems to Cyber-Physical Systems
thumbnail
Full text!
Auteur:
Bartocci; Cleaveland, Rance; Grosu, Radu; Sokolsky, Oleg
Uitgever:
Springer International Publishing 2019
Type:
e-book
6. Foundations of Computer Software. Future Trends and Techniques for Development
thumbnail
Full text!
Auteur:
Choppy, Christine; Kanade, Takeo; Sokolsky, Oleg; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2010
Type:
e-book
7. Runtime Verification
thumbnail
Full text!
Auteur:
Barringer, Howard; Falcone, Ylies; Finkbeiner, Bernd; Havelund, Klaus; Kanade, Takeo; Lee, Insup; Pace, Gordon; Roşu, Grigore; Sokolsky, Oleg; Tillmann, Nikolai
Uitgever:
Springer Berlin Heidelberg 2010
Type:
e-book
8. Emerging Directions in Embedded and Ubiquitous Computing
thumbnail
Full text!
Auteur:
Zhou, Xiaobo; Jeong, Young-Sik; Jung, Eun-Sun; Kanade, Takeo; Kim, Dae Young; Lee, Dong Chun; Mu, Yi; Shao, Zili; Sokolsky, Oleg; Xu, Cheng-Zhong; Yan, Lu; Kim, Daeyoung
Uitgever:
Springer Berlin Heidelberg 2006
Type:
e-book