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

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

Développement formel de systèmes temps réel à l'aide de SDL et IF
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)