A Framework for Modular Formal Specification and Verification.

Pierre Michel Virginie Wiels

Published in: FME (1997)

Keyphrases

formal specification
model checking
specification language
grid workflow
cooperative
fine grained
model checker
specification languages
expert systems