Sous-collection Informatique et systèmes d'information
Documents disponibles dans la sous-collection (2)
Affiner la recherche
texte imprimé
Christophe Kolski, Auteur | Paris : Hermes Science Publications | Recherche, technologie, applications, ISSN 2111-0360 | 2010Les systèmes interactifs sont de plus en plus présents dans les transports. De nombreuses questions aussi bien pratiques que théoriques se posent autour de leur analyse, leur conception et leur évaluation. Lors de la préparation de son déplac[...]
texte imprimé
Boulanger, Jean-Louis, Directeur de publication | Paris : Hermes Science Publications | Recherche, technologie, applications, ISSN 2111-0360 | 2011Les techniques formelles réalisent des modèles de spécifications et/ou de conception et servent à l'analyse statique de code, à la démonstration du respect de propriété, à la bonne gestion des calculs sur les flottants, etc. Dès la première m[...]
