Computational Methods in Systems Biology

This book constitutes the refereed proceedings of the 14th International Conference on Computatio...

Runtime Verification

Model Checking Software

InhaltsangabeExplicit-state model checking techniques.- Other related tools.- Techniques for the ...

Lectures on Runtime Verification

The idea of this volume originated from the need to have a book for students to support their tra...

From Reactive Systems to Cyber-Physical Systems

Formal Methods in Outer Space

This Festschrift, dedicated to Klaus Havelund on the occasion of his 65th birthday, celebrated in...