Login / Signup

Translation of ATL to AGT and application to a code generator for Simulink.

Elie RichaEtienne BordeLaurent Pautet
Published in: Softw. Syst. Model. (2019)
Keyphrases
  • multi agent systems
  • code generator
  • open source
  • model checking