Login / Signup
Fernando Mejia
Publication Activity (10 Years)
Years Active: 1992-1994
Publications (10 Years): 0
</>
Publications
</>
Babak Dehbonei
,
Fernando Mejia
Formal Methods in the Railways Signalling Industry.
FME
(1994)
Babak Dehbonei
,
Fernando Mejia
Verification of Proofs for the B Formal Development Process.
ACM SIGPLAN Notices
28 (11) (1993)
Michel Carnot
,
Clara DaSilva
,
Babak Dehbonei
,
Fernando Mejia
Error-free software development for critical systems using the B-Methodology.
ISSRE
(1992)
Clara DaSilva
,
Babak Dehbonei
,
Fernando Mejia
Formal specification in the development of industrial applications: Subway speed control system.
FORTE
(1992)