Fernando Mejia

According to our database, Fernando Mejia authored at least 4 papers between 1992 and 1994.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

1994

Formal Methods in the Railways Signalling Industry.

Babak Dehbonei, Fernando Mejia

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

1993

Verification of Proofs for the B Formal Development Process.

Babak Dehbonei, Fernando Mejia

ACM SIGPLAN Notices, 1993

1992

Error-free software development for critical systems using the B-Methodology.

Michel Carnot, Clara DaSilva, Babak Dehbonei, Fernando Mejia

Proceedings of the Third International Symposium on Software Reliability Engineering, 1992

Formal specification in the development of industrial applications: Subway speed control system.

Clara DaSilva, Babak Dehbonei, Fernando Mejia

Proceedings of the Formal Description Techniques, 1992