@InProceedings{BeckertChaEA2017, author = {Bernhard Beckert and Suhyun Cha and Mattias Ulbrich and Birgit Vogel-Heuser and Alexander Weigl}, title = {Generalised Test Tables: A Practical Specification Language for Reactive Systems}, booktitle = {13th International Conference on integrated Formal Methods ({iFM} 2017)}, year = {2017}, month = sep, venue = {Torino, Italy}, eventdate = {2017-09-18/2017-09-22}, publisher = {Springer} }
Generalised Test Tables: A Practical Specification Language for Reactive Systems
Author(s): | Bernhard Beckert, Suhyun Cha, Mattias Ulbrich, Birgit Vogel‑Heuser, and Alexander Weigl |
---|---|
In: | 13th International Conference on integrated Formal Methods (iFM 2017) |
Publisher: | Springer |
Year: | 2017 |