Vol-2580⫷ Vol-2581 ⫸Vol-2582
urn:nbn:de:0074-2581-0


Vol-2581/aviose2020paper1⫷Vol-2581/aviose2020paper2⫸Vol-2581/aviose2020paper3
Sebastian SchirmerTino TeigeChristoph TorensUdo Brockmeyer

Towards Using Formal Methods in Prototyping:Advantage or Impediment?