Hierarchical Modeling and Formal Verification. An Industrial Case Study Using Reo and Vereofy.

Joachim Klein, Sascha Klppelholz, Andries Stam, Christel Baier

Browse the full FMICS paper archive.