Marc Sango
According to our database1,
Marc Sango
authored at least 5 papers
between 2012 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
2012
2014
2016
2018
2020
2022
0
1
2
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Modeling and vulnerability analysis of interdependent railway and power networks: Application to British test systems.
Reliab. Eng. Syst. Saf., 2022
2016
Proceedings of the Complex Systems Design & Management, 2016
2015
Traceability of Concerns and Observer-Based Verification for Railway Safety-Critical Software. (Traçabilité des Exigences et Vérification par Observateurs pour les Logiciels Critiques des Systèmes Ferroviaires).
PhD thesis, 2015
2014
Component-Based Modeling and Observer-Based Verification for Railway Safety-Critical Applications.
Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014
2012
Proceedings of the FM 2012: Formal Methods, 2012