Fernando Mejia
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1992–1994
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1994 | FM | Formal Methods in the Railways Signalling Industry. | Babak Dehbonei, Fernando Mejia |
| 1992 | FORTE | Formal specification in the development of industrial applications: Subway speed control system. | Clara DaSilva, Babak Dehbonei, Fernando Mejia |
| 1992 | ISSRE | Error-free software development for critical systems using the B-Methodology. | Michel Carnot, Clara DaSilva, Babak Dehbonei, Fernando Mejia |