A Formal Approach for the Development of Automated Systems.

Olfa Mosbahi, Leila Jemni Ben Ayed, Jacques Jaray

Browse the full ICSoft paper archive.