by Meywerk, Tim, Niedzwiecki, Arthur, Herdt, Vladimir and Drechsler, Rolf
Reference:
Meywerk, Tim, Niedzwiecki, Arthur, Herdt, Vladimir and Drechsler, Rolf, "Simulation-Based Debugging of Formal Environment Models", In 30th Mediterranean Conference on Control and Automation, MED 2022, Vouliagmeni, Greece, June 28 - July 1, 2022, IEEE, pp. 890–895, 2022.
Bibtex Entry:
@inproceedings{tim2022simulation,
title = {Simulation-Based Debugging of Formal Environment Models},
booktitle = {30th Mediterranean Conference on Control and Automation, {MED} 2022, Vouliagmeni, Greece, June 28 - July 1, 2022},
pages = {890--895},
publisher = {IEEE},
doi = {10.1109/MED54222.2022.9837055},
author = {Meywerk, Tim and Niedzwiecki, Arthur and Herdt, Vladimir and Drechsler, Rolf},
year = {2022},
url = {https://doi.org/10.1109/MED54222.2022.9837055},
keywords= {easecrc_knowledge, easecrc_cognitive_capabilities}
}