A Formal Requirements Modeling Approach: Application to Rail Communication.

Steve Jeffrey Tueno Fotso, Rgine Laleau, Hctor Ruz Barradas, Marc Frappier, Amel Mammar

Browse the full ICSoft paper archive.