語系: 繁體中文

說明(常見問題)

登入

跳至 : 概要書目資訊主題

Temporal automata - Congresses

概要

作品:	2 作品在 2 項出版品 2 種語言

書目資訊

Formal techniques, modelling and analysis of timed and fault tolerant systems: joint international conferences on ... by: (書目-語言資料,印刷品)

Formal modeling and analysis of timed systems: first international workshop,FORMATS 2003,Marseille,France,... by: (書目-語言資料,印刷品)

主題

Temporal automata - Congresses

Formal methods (Computer scien

Computer simulation - Congress

Temporal automata - Congresses

Computer simulation

變更密碼

登入