Select Git revision
Search by author
- Any Author
- authors
-
Alan Birchler De Allende alan.birchler
-
Alessandro Tempia Calvino
atempia
-
Anish Bhobe anish.bhobe
-
Bastien Sultan bastien.sultan
-
Daniela Genius genius
-
Dominique Blouin dominique.blouin
-
Etienne Borde etienne.borde
-
Florian Lugou florian.lugou
-
Hector Panabieres hector.panabieres
-
Jawher Jerray jawher.jerray
-
Letitia Li
letitia.li
-
Ludovic Apvrille
ludovic.apvrille
-
Marvin Häuser mhaeuser
-
Pierre DE SAQUI SANNES Pierre.De-saqui-sannes
-
Renaud Pacalet
renaud.pacalet
-
Sophie Coudert sophie.coudert
- Jul 16, 2010
-
-
Ludovic Apvrille authored
-
- Jul 15, 2010
-
-
Ludovic Apvrille authored
AVATAR: Management of Timers: on AVATAR models, and also in the internal language + translation to UPPAAL
-
- Jul 12, 2010
-
-
Ludovic Apvrille authored
AVATAR: random operator added
-
- Jul 05, 2010
-
-
Ludovic Apvrille authored
-
- Jun 29, 2010
-
-
Ludovic Apvrille authored
Possibility to select - as an option and in the config.xml file - the port number used by the launcher
-
- Jun 23, 2010
-
-
Ludovic Apvrille authored
-
- Jun 09, 2010
-
-
Ludovic Apvrille authored
Optimization of AVATAR Specifications
-
- Apr 10, 2009
-
-
Ludovic Apvrille authored
-
- Jan 13, 2009
-
-
Ludovic Apvrille authored
-
- Jul 16, 2008
-
-
Ludovic Apvrille authored
-