#raffinement

4 collections 4 auteurs 4 ouvrages trié(s) par

Analyses de sûreté de fonctionnement multi-systèmes

Documents

Savoirs

Analyses de sûreté de fonctionnement multi-systèmes

Romain Bernard

168 pages

Français

Développement prouvé de structures de données sans verrou, Provably correct lockfree data structure

Documents

Savoirs

Développement prouvé de structures de données sans verrou, Provably correct lockfree data structure

Loïc Fejoz

127 pages

Français

Développement formel de systèmes automatisés, Formal development of automated systems

Documents

Savoirs

Développement formel de systèmes automatisés, Formal development of automated systems

Olfa Mosbahi-Khalgui

303 pages

Français

Gestion du temps par le raffinement, Refinement Patterns for Real-Time Systems

Documents

Savoirs

Gestion du temps par le raffinement, Refinement Patterns for Real-Time Systems

Joris Rehm

124 pages

Français

Aucun résultat à afficher.

1