O. Bellal

Publication Activity (10 Years)

Years Active: 1990-1997
Publications (10 Years): 0

Publications

Gregor von Bochmann, Alexandre Petrenko, O. Bellal, S. Maguiraga
Automating the process of test derivation from SDL specifications. SDL Forum (1997)
Martin Dubuc, Gregor von Bochmann, O. Bellal, F. Saba
Translation from TTCN to LOTOS and the Validation of Test Cases. FORTE (1990)