Simulation-Based Debugging of Formal Environment Models

@inproceedings{pub12467,
    author = {

Meywerk, Tim
 and 

Niedzwiecki, Arthur
 and 

Herdt, Vladimir
 and 

Drechsler, Rolf
},
    title = {Simulation-Based Debugging of Formal Environment Models},
    booktitle = {The 30th Mediterranean Conference on Control and Automation (MED). Mediterranean Conference on Control and Automation (MED), June 28-July 1, Athen, Greece},
    year = {2022}
}