MPG.eBooks - Search Results - "biology"

Cover Image

1

25 Years of Model Checking : History, Achievements, Perspectives

Published 2008

Springer Berlin Heidelberg

“... challenging areas such as system biology and hybrid systems. Model checking is extensively used...”

Cover Image

2

Tools and Algorithms for the Construction and Analysis of Systems : 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice...

Published 2007

Springer Berlin Heidelberg

Table of Contents: “... Interface Alphabets for Compositional Verification -- MAVEN: Modular Aspect Verification -- Biological...”