![](/img/cover-not-exists.png)
[IEEE 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE) - Sophia Antipolis (2017.9.13-2017.9.15)] 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE) - Two under-approximation techniques for 3-modal abstraction coverage of event systems: Joint effort?
Julliand, Jacques, Kouchnarenko, Olga, Masson, Pierre-Alain, Voiron, GuillaumeYear:
2017
Language:
english
DOI:
10.1109/TASE.2017.8285632
File:
PDF, 351 KB
english, 2017