Analysis of the formal specification application for train control systems /

Guardat en:

Dades bibliogràfiques
Autor principal:	Jo, Hyun-Jeong.
Altres autors:	Hwang, Jong-Gyu., Yoon, Yong-Ki.
Format:	Article
Idioma:	English
Matèries:	Formal specification Statechart Train control system Zed
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Sigues el primer a deixar un comentari!

Notice: fwrite(): write of 697 bytes failed with errno=28 No space left on device in C:\vufind\module\VuFind\src\VuFind\Session\File.php on line 152
Cannot write session to C:\Windows\TEMP\vufind_sessions/sess_ijhudvp8tbrq0advenqtcd2h80
Warning: session_write_close(): Failed to write session data using user defined save handler. (session.save_path: \xampp\tmp) in C:\vufind\vendor\laminas\laminas-session\src\SessionManager.php on line 235

Analysis of the formal specification application for train control systems /

Ítems similars