8 كتب إلكترونية بواسطة Oleg Sokolsky
Kim Guldstrand Larsen & Oleg Sokolsky: Dependable Software Engineering. Theories, Tools, and Applications
This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October2017.T …
EPUB
الإنجليزية
DRM
€57.64
Young-Sik Jeong & Eun-Sun Jung: Emerging Directions in Embedded and Ubiquitous Computing
…
PDF
الإنجليزية
DRM
€166.82
Oleg Sokolsky & Serdar Tasiran: Runtime Verification
Runtime veri?cation is a recent direction in formal methods research, which is complementary to such well-established formal veri?cation methods as model checking. Research in runtime veri?cation dea …
PDF
الإنجليزية
DRM
€57.76
Fabrice Kordon & Oleg Sokolsky: Composition of Embedded Systems. Scientific and Industrial Issues
…
PDF
الإنجليزية
DRM
€57.71
Christine Choppy & Oleg Sokolsky: Foundations of Computer Software: Future Trends and Techniques for Development
…
PDF
الإنجليزية
DRM
€57.99
Ezio Bartocci & Rance Cleaveland: From Reactive Systems to Cyber-Physical Systems
This Festschrift is in honor of Scott A. Smolka, Professor in the Stony Brook University, USA, on the occasion of his 65th birthday. Scott A. Smolka made fundamental research contributions in a numbe …
EPUB
الإنجليزية
DRM
€57.88
Dang Van Hung & Oleg Sokolsky: Automated Technology for Verification and Analysis
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020. The 27 re …
EPUB
الإنجليزية
DRM
€57.99
