Publicationshttp://www.uclouvain.be/3986.rssPublicationsfr2009 Université catholique de Louvaininfo-portail@uclouvain.beImproving the Model Checking of Strategies under Partial Observability and Fairness Constraintshttp://www.uclouvain.be/482729.htmlpar Simon Busard, Assistant de recherche en INGI, sous la supervision du Professeur Charles Pecheur. Cet article a été présenté au "16th International Conference on Formal Engineering Methods, ICFEM 2014" à Luxembourg.Wed, 19 Nov 2014 12:12:37 UTPublications récenteshttp://www.uclouvain.be/369213.htmlWed, 29 Jun 2011 12:26:29 UTIntegrating Exceptions in Goal Models http://www.uclouvain.be/470918.htmlby Antoine Cailliau, Research Assistant INGI, under the supervision of Professor Axel van Lamsweerde. This paper will be presented next august in Sweden at 22nd IEEE International Requirements Engineering Conference (http://webhotel.bth.se/re14/).Wed, 28 May 2014 09:00:40 UT