Documents
Des fondements de la virologie informatique vers une immunologie formelle, From the computer virology fudments toward a formal immunology
Matthieu Kaczmarek
Documents
Spécification formelle de systèmes temps réel répartis par une approche flots de données à contraintes temporelles, Formal specification of distributed real time systems using an approach based on temporally constrained data flows
Tanguy Le Berre
Documents
L'Antimonde caribéen, entre les Amériques et le Monde, The Caribbean's antiworld, in-between the americas and the world
Romain Cruse
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
{{productCategoryLabel}}
{{productTitle}}
{{productAuthors}}
{{productCategoryLabel}}
{{productThemeLabel}}
{{productTitle}}
{{productAuthors}}
{{productPages}}
{{productLanguageIsoCode}}