author = { Abdellatif, Tesnim Grenoble AND Sifakis, Joseph },

title = { Implémentation rigoureuse des systèmes temps-réels ; Rigorous Implementation of Real-Time Systems },

keywords = { Systèmes adaptatifs , Real-time programming , Scheduling , Vérification , Component-based systems , Systèmes temps-réel , Adaptive systems , Verification , Systèmes à base de composants , Programmation temps-rée , Real-time operating systems , Ordonnancement },

year = {2012-06-05},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},