Veröffentlichungen

@inproceedings{Ropertz16,
Author = {Thorsten Ropertz and Karsten Berns and Xian Li and Klaus Schneider},
Title = {Verification of Behavior-Based Control Systems in their Physical Environment},
Booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)},
Year = {2016},
Pages = {128-137},
Editor = {R. Wimmer},
Address = {Freiburg, Germany},
Publisher = {University of Freiburg},
}