Vol-2009⫷ Vol-2010 ⫸Vol-2011
urn:nbn:de:0074-2010-0


Vol-2010/paper6⫷Vol-2010/paper7⫸Vol-2010/paper8

Formal Modeling Of System Properties For Simulation-based Verification Of Requirements: Lessons Learned