Art

J-GLOBAL ID：200902246328104149   Reference number：09A0437625

Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches

Romeo:ストップウォッチを持つPetriネットのためのパラメトリックモデル検査器

Author (4)： LIME Didier (IRCCyN, CNRS, Nantes, FRA) ,  ROUX Olivier H. (IRCCyN, CNRS, Nantes, FRA) ,  SEIDNER Charlotte (IRCCyN, CNRS, Nantes, FRA) ,  TRAONOUEZ Louis-Marie (IRCCyN, CNRS, Nantes, FRA)
Material： Lecture Notes in Computer Science  (LNBI)
Volume： 5505  Page： 54-57  Publication year： 2009 
JST Material Number： H0078D  ISSN： 0302-9743  Document type： Proceedings
Country of issue： Germany, Federal Republic of (DEU)  Language： ENGLISH (EN)

Terms in the title (3)： Petriネット ,  パラメトリックモデル ,  検査