Dieses Dokuwiki verwendet ein von Anymorphic Webdesign erstelltes Thema.

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

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 has completed the theoretical work done in SynComp. He studies how prove
 safety properties 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 This year, the collaboration between Rainbow and Pulsar has been
pulsar_jy.txt · Dernière modification: 2009/11/30 14:28 par tigli
Piste:
Dieses Dokuwiki verwendet ein von Anymorphic Webdesign erstelltes Thema.
CC Attribution-Noncommercial-Share Alike 3.0 Unported
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0