Sign in

Enabling correct design and formal analysis of Ambient Assisted Living systems.

Kawtar Benghazi AkhlakiMaría Visitación HurtadoMiguel J. HornosMaría Luisa RodríguezCarlos Rodríguez-DomínguezAna Belén Pelegrina OrtizMaría José Rodríguez-Fórtiz
Published in: J. Syst. Softw. (2012)
Keyphrases
  • formal analysis
  • living systems
  • formal methods
  • knowledge based systems
  • design process
  • multi agent systems