Multiple-Device and adaptive platform of Services for Scenario recognition

Conférence sur les FabLabs, Alexandre Schneider, Professeur Agrégé en Génie Mécanique, Université de Reims Champagne-Ardenne Web
Journées UbiMob'14 Site Web

Privé

--- pulsar_jy [2009/11/30 14:21]
tigli créée
+++ pulsar_jy [2009/11/30 14:28] (Version actuelle)
tigli
@@ Ligne 57: / Ligne 57: @@
 has completed the theoretical work done in SynComp. He studies how prove
 safety properties
-regarding WComp component models relying on the NuSMV \footcite{NuSMV}
+regarding WComp component models relying on the NuSMV model checker.
-model checker.
 This year, the collaboration between Rainbow and Pulsar has been