文献

J-GLOBAL ID：200902246328104149   整理番号：09A0437625

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

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

著者 (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)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 5505  ページ： 54-57  発行年： 2009年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (3件)： Petriネット ,  パラメトリックモデル ,  検査