- Home
- Proceedings
- TASE
- TASE 2019
2019 International Symposium on Theoretical Aspects of Software Engineering (TASE)
Formalizing Time4sys using parametric timed automata
Year: 2019, Pages: 176-183Authors
Étienne André, Université Paris 13 & CNRS, France / JFLI, Japan / NII, Japan
Abstract
