Développement formel de systèmes temps réel à l'aide de SDL et IF

Éditeur: Presses Académiques Francophones
2016184 pagesISBN 9783838145198
Format: BrochéLangue : Français
Un système temps réel est un système qui interagit avec un environnement physique en remplissant souvent des missions critiques pour lesquelles une faute du système peut avoir des conséquences graves...
Ce livre est proposé par (0) membre(s)
Ce livre est mis en favori par (0) membre(s)