8 Ebooks bởi 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 …
EPUB
Anh
DRM
€56.99
Young-Sik Jeong & Eun-Sun Jung: Emerging Directions in Embedded and Ubiquitous Computing
…
PDF
Anh
DRM
€166.45
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 …
PDF
Anh
DRM
€56.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 …
EPUB
Anh
DRM
€56.99
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 …
EPUB
Anh
DRM
€57.77
