
[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) - SCADE 6: A formal language for embedded critical software development (invited paper)
Colaco, Jean-Louis, Pagano, Bruno, Pouzet, MarcAnnée:
2017
Langue:
english
DOI:
10.1109/TASE.2017.8285623
Fichier:
PDF, 313 KB
english, 2017