Steve Jeffrey Tueno Fotso
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2018–2019
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | ICFEM | Assessment of a Formal Requirements Modeling Approach on a Transportation System. | Steve Jeffrey Tueno Fotso, Rgine Laleau, Marc Frappier, Amel Mammar, Francois Thibodeau, Mama Nsangou Mouchili |
| 2019 | ICSoft | A Formal Requirements Modeling Approach: Application to Rail Communication. | Steve Jeffrey Tueno Fotso, Rgine Laleau, Hctor Ruz Barradas, Marc Frappier, Amel Mammar |
| 2018 | ICECCS | Back Propagating B System Updates on SysML/KAOS Domain Models. | Steve Jeffrey Tueno Fotso, Marc Frappier, Regine Laleau, Amel Mammar |
| 2018 | IFM | Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions. | Steve Jeffrey Tueno Fotso, Marc Frappier, Rgine Laleau, Amel Mammar, Michael Leuschel |