.:. Lists > By subject > Software Engineering .:.

3 documents ordered by : Date Title first author name document type Submit date

Modèles stochastiques pour les pertes de messages dans les protocoles asynchrones, et techniques de vérification automatique Bertrand N. École normale supérieure de Cachan - ENS Cachan (06/10/2006), Philippe Schnoebelen (Dir.) [tel-00132080 - version 1]

Vérification des propriétés temporisées des automates programmables industriels Bel Mokadem H. École normale supérieure de Cachan - ENS Cachan (28/09/2006), Béatrice BÉRARD (Dir.) [tel-00132057 - version 1]

Approche fondée sur les modèles pour java temps-réel Nakhli C. École normale supérieure de Cachan - ENS Cachan (2005-09-02), Antoine Petit (Dir.) [tel-00133652 - version 1]