文献
J-GLOBAL ID:200902076089841591
整理番号:91A0428030
時間Petriネットを用いた時間依存システムのモデリングと検証
Modeling and verification of time dependent systems using time Petri nets.
著者 (2件):
BERTHOMIEU B
(Lab. Automatique et d’Analyse des Systemes, Toulouse, FRA)
,
DIAZ M
(Lab. Automatique et d’Analyse des Systemes, Toulouse, FRA)
資料名:
IEEE Transactions on Software Engineering
(IEEE Transactions on Software Engineering)
巻:
17
号:
3
ページ:
259-273
発行年:
1991年03月
JST資料番号:
D0480D
ISSN:
0098-5589
CODEN:
IESEDJ
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)