MPG.eBooks - Search Results - (( key regulatory perspectives ) or ( a regularized properties ))*

Search alternatives:
regulatory perspectives » regulatory perspective , regulatory peptides
regularized properties » regularity properties , regulated properties , regular properties
key regulatory » key regulator , key regulators , 3 regulatory
a regularized » _ regularized , a regulated

Cover Image

1

Applied Formal Methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings

Published 1999

Springer Berlin Heidelberg

Table of Contents: “... Properties: An Integrated Approach -- A Symbolic Model Checker for ACTL -- Critical Systems Validation...”