Verifying Timing Properties of Distributed Real-Time Systems Using Timing Constraints Petri Nets

ASIA unversity > 資訊學院 > 生物資訊與醫學工程學系 > 會議論文 > Item 310904400/78094

Please use this identifier to cite or link to this item: http://asiair.asia.edu.tw/ir/handle/310904400/78094

Title:	Verifying Timing Properties of Distributed Real-Time Systems Using Timing Constraints Petri Nets
Authors:	蔡進發;Jeffrey, J.P.Tsai;S.Yang;S.Yang;P.Chang;P.Chang;E.Juan;E.Juan
Contributors:	生物與醫學資訊學系
Date:	1996.08
Issue Date:	2013-12-26 09:45:42 (UTC+0)
Relation:	Proceedings of the 20th IEEE International Computer Software and Applications Conference
Appears in Collections:	[生物資訊與醫學工程學系 ] 會議論文

Files in This Item:

There are no files associated with this item.