Clara DaSilva

According to our database, Clara DaSilva authored at least 2 papers in 1992.

Collaborative distances:

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

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