1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…