Langues : français English
Accueil > Présentation > Publications

Publications

Les dernières publications déposées

  • Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller [hal-00457182] Formal Methods Meet Domain Specific Languages [Consulter...]
  • Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller [hal-00457183] Applying the B formal method to the Bossa domain-specific language [Consulter...]
  • Angel Garcia, Benoît Combemale, Xavier Crégut, Jérôme Vandeur [hal-00371557] topPROCESS : vers une ingénierie des procédés dirigée par les modèles [Consulter...]
  • Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller [hal-00457181] Vérification automatique de propriétés d'ordonnanceurs Bossa [Consulter...]
  • Welf Löwe, Mario Südholt [inria-00473992] Proceedings of the 5th Int. Symposium on Software Composition (SC'06) [Consulter...]

L’actualité des publications des équipes


Liste des publications

Par année :
2015 - 2014 - 2013 - 2012
2011 - 2010 - 2009
2008 - 2007 - 2006

Par équipe : AeLoS - ASCOLA - AtlanMod - COMBI - DUKe - GDD - OPTI - TALN - TASC

Par membre du laboratoire


Bibliographie 2006-2010

Dernière modification : vendredi 25 mai 2018