A formal approach for the development of reactive systems

• Olfa Mosbahi ^[1] ; Leila Jemni Ben Ayed ^[1] ; Mohamed Khalgui ^[2]
  1. [1] Université de Tunis El Manar

     Université de Tunis El Manar

     Túnez

     
  2. [2] Martin Luther University Halle-Wittenberg

     Martin Luther University Halle-Wittenberg

     Kreisfreie Stadt Halle, Alemania

     
• Localización: Information and software technology, ISSN 0950-5849, Vol. 53, Nº 1, 2011, págs. 14-33
• Idioma: inglés
• Enlaces
  • Texto completo