v1
Slides paper Formal Verification of Safety Analysis Models of Repairable and Reconfigurable Systems (Kobeissi, Piriou, Faure) - IFAC WC 2017
Identifier:nobleid.org/w1/20260515/5B3C05AF
Type:Journal Article
0 views
Embeddable Badge
[](https://nobleid.org/work/w1/20260515/5B3C05AF)
Bibliometric Analysis
Impact metrics, research fronts, co-authorship networks →
Authors & Claims