Vol-1727⫷ Vol-1728 ⫸Vol-1729
urn:nbn:de:0074-1728-0


Vol-1728/paper21⫷Vol-1728/paper22⫸Vol-1728/paper23
Alfredo Garro

Formal Requirements Modeling for Simulation-Based Verification: from Theory to Practice