Steve Jeffrey Tueno Fotso, Régine Laleau, Héctor Ruíz Barradas, Marc Frappier, Amel Mammar. A Formal Requirements Modeling Approach: Application to Rail Communication. In Marten van Sinderen, Leszek A. Maciaszek, editors, Proceedings of the 14th International Conference on Software Technologies, ICSOFT 2019, Prague, Czech Republic, July 26-28, 2019. pages 170-177, SciTePress, 2019. [doi]
Abstract is missing.