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

Generalized Test Tables: A Domain-Specific Specification Language for Automated Production Systems

Reviewed Paper In Proceedings
Author(s):Bernhard Beckert, Mattias Ulbrich, Birgit Vogel‑Heuser, and Alexander Weigl
In:Theoretical Aspects of Computing - ICTAC 2022
Publisher:Springer
Series:Lecture Notes in Computer Science
Volume:13572
Year:2022
Pages:7-13
URL:https://doi.org/10.1007/978-3-031-17715-6_2
DOI:10.1007/978-3-031-17715-6_2
Links:The final publication is available at Springer.

BibTeX

@inproceedings{BeckertUVW2022,
  author       = {Bernhard Beckert and Mattias Ulbrich and Birgit Vogel{-}Heuser and Alexander Weigl},
  title        = {Generalized Test Tables: {A} Domain-Specific Specification Language
                  for Automated Production Systems},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2022},
  series       = {Lecture Notes in Computer Science},
  volume       = {13572},
  pages        = {7--13},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-17715-6\_2},
  doi          = {10.1007/978-3-031-17715-6\_2}
}