Fernando Mejia

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1994

3 Babak Dehbonei, Fernando Mejia: Formal Methods in the Railways Signalling Industry. FME 1994: 26-34

1993

2 Babak Dehbonei, Fernando Mejia: Verification of Proofs for the B Formal Development Process. SIGPLAN Notices 28(11): 16-21 (1993)

1992

1 Clara DaSilva, Babak Dehbonei, Fernando Mejia: Formal specification in the development of industrial applications: Subway speed control system. FORTE 1992: 199-213

	1994
3		Babak Dehbonei, Fernando Mejia: Formal Methods in the Railways Signalling Industry. FME 1994: 26-34
	1993
2		Babak Dehbonei, Fernando Mejia: Verification of Proofs for the B Formal Development Process. SIGPLAN Notices 28(11): 16-21 (1993)
	1992
1		Clara DaSilva, Babak Dehbonei, Fernando Mejia: Formal specification in the development of industrial applications: Subway speed control system. FORTE 1992: 199-213

Coauthor Index

1 Clara DaSilva [1]

2 Babak Dehbonei [1] [2] [3]