O. Bellal

According to our database, O. Bellal authored at least 2 papers between 1990 and 1997.

Collaborative distances:

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

1997

Automating the process of test derivation from SDL specifications.

Gregor von Bochmann, Alexandre Petrenko, O. Bellal, S. Maguiraga

Proceedings of the SDL '97 Time for Testing, 1997

1990

Translation from TTCN to LOTOS and the Validation of Test Cases.

Martin Dubuc, Gregor von Bochmann, O. Bellal, F. Saba

Proceedings of the Formal Description Techniques, 1990