Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Generalised Test Tables: A Practical Specification Language for Reactive Systems

Reviewed Paper In Proceedings
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

Note

To appear.

BibTeX

@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,
  place        = {Torino, Italy},
  date         = {September 18-22},
  publisher    = {Springer},
  note         = {To appear.}
}