Institut de recherche en informatique
Biographie
Unité propre de recherche de l'enseignement supérieur-Equipe d'accueil 2157.
Contributions de Institut de recherche en informatique
-
International workshop on Comparing systems specification techniques "What questions are prompted by ones particular method of specification?", March 26-27, 1998, Nantes, FranceInternational workshop on comparing systems specification techniquesIrin
-
Z twenty years on. What is its future ?, proceedings of the 7th International conference on Putting into practice methods and tools for information system design, October, 10-12, 1995, NantesInternational conference on putting into practice methods and tools for information system designIut
-
1st Conference on the B method, 8th International conference on Putting into practice methods and tools for information system designConférence internationale BInstitut de recherches en informatique de Nantes
-
Extraction et gestion des connaissances, [communications de la Conférence] EGC'2001, [École polytechnique de l'Université de Nantes, 17-19 janvier 2001]Journées francophones d'extraction et de gestion des connaissancesHermès science publications