1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Imen Sayar
To overcome the limitations of both approaches classical and formal for the development of complex software, we proposed a hybrid approach combining the formal approach (Event-B) a…