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

Alfredo Garro. Formal Requirements Modeling for Simulation-Based Verification: from Theory to Practice. In Eugenio Brusa, Andrea D'Ambrogio, Alfredo Garro, Lucio Tirone, Andrea Tundis, editors, Proceedings of the 2nd INCOSE Italia Conference on Systems Engineering, Turin, Italy, November 14-16, 2016. Volume 1728 of CEUR Workshop Proceedings, pages 130-131, CEUR-WS.org, 2016. [doi]

Abstract

Abstract is missing.