7 Ebooks by Martin Leucker
Christian Colombo & Martin Leucker: Runtime Verification
This book constitutes the refereed proceedings of the 18th International Conference on Runtime Verification, RV 2018, held in Limassol, Cyprus, in November 2018.The 21 full papers presented together …
EPUB
Inggeris
DRM
€83.00
Manfred Broy & Bengt Jonsson: Model-Based Testing of Reactive Systems
Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been m …
PDF
Inggeris
DRM
€57.74
Lubos Brim & Boudewijn Haverkort: Formal Methods: Applications and Technology
These are the joint ?nal proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006) and the ?fth International Workshop on Parallel and Distributed …
PDF
Inggeris
DRM
€57.42
Martin Leucker: Runtime Verification
This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Runtime Verification, RV 2008, held in Budapest, Hungary, in March 2008 as satellite event of ETAPS …
PDF
Inggeris
DRM
€57.46
Martin Leucker & Charles Carroll Morgan: Theoretical Aspects of Computing – ICTAC 2009
Thisvolumecontainsthepaperspresentedat ICTAC2009:the6th International Colloquium on Theoretical Aspects of Computing held August 18-20, 2009 in Kuala Lumpur, Malaysia, hosted by Universiti Kebangsaan …
PDF
Inggeris
DRM
€57.78
Ezio Bartocci & Ylies Falcone: Formal Methods in Outer Space
This Festschrift, dedicated to Klaus Havelund on the occasion of his 65th birthday, celebrated in 2021 due to the COVID-19 pandemic, contains papers written by many of his closest friends and collabo …
EPUB
Inggeris
DRM
€63.99
Marsha Chechik & Joost-Pieter Katoen: Formal Methods
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lubeck, Germany, in March 2023. The 26 full paper, 2 short papers in …
EPUB
Inggeris
DRM
€115.13