Combining formal methods for embedded systems /

QR Kod

Combining formal methods for embedded systems /

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Phạm Trần Nhu.
Diğer Yazarlar:	Nguyễn Văn Trường.
Materyal Türü:	Makale
Dil:	Vietnamese
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

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

Benzer Materyaller

Embedded software system testing : automatic testing solution based on formal method
Yazar:: Yin, Yongfeng
Baskı/Yayın Bilgisi: (2024)

Formal Methods in Systems Biology
Yazar:: Fisher, Jasmin
Baskı/Yayın Bilgisi: (2020)

Formal Methods for Industrial Critical Systems
Yazar:: Howar, Falk, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Methods in Software and Systems Modeling
Baskı/Yayın Bilgisi: (2020)

Formal Methods for Computational Systems Biology
Yazar:: Bernardo, Marco, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Methods for Industrial Critical Systems
Baskı/Yayın Bilgisi: (2020)

Formal Methods for Industrial Critical Systems
Baskı/Yayın Bilgisi: (2020)

Formal Methods for Industrial Critical Systems
Yazar:: Leue, Stefan, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Critical Systems: Formal Methods and Automated Verification
Yazar:: Petrucci, Laure, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Methods and Hybrid Real-Time Systems
Yazar:: Jones, Cliff B., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Logical Methods for System Security and Correctness
Yazar:: Grumberg, Orna, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Formal Methods for Discrete-Time Dynamical Systems
Yazar:: Belta, Calin, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Methods for Open Object-Based Distributed Systems
Baskı/Yayın Bilgisi: (2020)

Formal Methods for Open Object-Based Distributed Systems
Yazar:: Barthe, Gilles
Baskı/Yayın Bilgisi: (2020)

Formal Methods for Open Object-Based Distributed Systems
Yazar:: Bonsangue, Marcello M., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Methods
Yazar:: Havelund, Klaus, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Embedded systems handbook. Networked embedded systems
Baskı/Yayın Bilgisi: (2009)

Integrated Formal Methods
Yazar:: Polikarpova, Nadia, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Integrated Formal Methods
Yazar:: Furia, Carlo A., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Teaching Formal Methods
Baskı/Yayın Bilgisi: (2020)

Integrated Formal Methods
Yazar:: Davies, Jim, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Integrated Formal Methods
Yazar:: Ahrendt, Wolfgang, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

NASA Formal Methods
Yazar:: Barrett, Clark, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Methods Teaching
Yazar:: Dongol, Brijesh, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Integrated Formal Methods
Yazar:: Romijn, Judi M.T., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Integrated Formal Methods
Baskı/Yayın Bilgisi: (2020)

Formal Methods and Testing
Yazar:: Hierons, Robert M., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Combinational methods :
Yazar:: Milkhalev, Alexander A.
Baskı/Yayın Bilgisi: (2004)

Formal Methods for Components and Objects
Baskı/Yayın Bilgisi: (2020)

Formal Methods and Software Engineering
Yazar:: Duan, Zhenhua, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Methods for Performance Evaluation
Yazar:: Bernardo, Marco, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Methods: Applications and Technology
Yazar:: Brim, Lubos, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Methods for Mobile Computing
Baskı/Yayın Bilgisi: (2020)

Concise Guide to Formal Methods
Yazar:: O'Regan, Gerard
Baskı/Yayın Bilgisi: (2020)

Formal Methods for Components and Objects
Baskı/Yayın Bilgisi: (2020)

Software Engineering and Formal Methods
Yazar:: Cimatti, Alessandro, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

FM 2009: Formal Methods
Baskı/Yayın Bilgisi: (2020)

Formal Methods: Foundations and Applications
Yazar:: Cavalheiro, Simone, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

FM 2005: Formal Methods
Baskı/Yayın Bilgisi: (2020)

Web Services and Formal Methods
Baskı/Yayın Bilgisi: (2020)

Notice: fwrite(): write of 696 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_mp8f9v71419feidkd2hpq5g66o
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