bib.howest.be Zoekresultaten

U zocht naar: Auteur Sokolsky, Oleg Taal Engels

1 - 8 van 8

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

Auteur:: Hung; Sokolsky, Oleg
Uitgever:: Springer International Publishing 2020
Type:: e-book

2. Dependable Software Engineering. Theories, Tools, and Applications

Auteur:: Larsen; Sokolsky, Oleg; Wang, Ji
Uitgever:: Springer International Publishing 2017
Type:: e-book

3. Composition of Embedded Systems. Scientific and Industrial Issues

Auteur:: Kordon, Fabrice; Sokolosky, Oleg; Sokolsky, Oleg
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

4. Runtime Verification

Auteur:: Sokolsky, Oleg; TaÅÄ±ran, Serdar
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

5. From Reactive Systems to Cyber-Physical Systems

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

Auteur:: Choppy, Christine; Kanade, Takeo; Sokolsky, Oleg; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

7. Runtime Verification

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

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