Integrating Exceptions in Goal Models
by , Research Assistant INGI, under the supervision of Professor Axel van Lamsweerde. This paper will be presented next august in Sweden at (http://webhotel.bth.se/re14/).
View ArticleImproving the Model Checking of Strategies under Partial Observability and...
par , Assistant de recherche en INGI, sous la supervision du Professeur . Cet article a été présenté au "" à Luxembourg.
View Article
More Pages to Explore .....