Books
Year : 2014
Wendelin Serwe : Connect in order to contact the contributor
https://inria.hal.science/hal-01272604
Submitted on : Thursday, February 11, 2016-10:23:07 AM
Last modification on : Thursday, April 4, 2024-6:25:41 PM
Dates and versions
Identifiers
- HAL Id : hal-01272604 , version 1
Cite
Frédéric Lang, Francesco Flammini (Dir.). Formal Methods for Industrial Critical Systems: Proceedings of the 19th International Conference on Formal Methods for Industrial Critical Systems. 2014. ⟨hal-01272604⟩
193
View
0
Download