Combining formal methods for embedded systems /

Mã QR

Combining formal methods for embedded systems /

שמור ב:

מידע ביבליוגרפי
מחבר ראשי:	Phạm Trần Nhu.
מחברים אחרים:	Nguyễn Văn Trường.
פורמט:	Bài viết
שפה:	Vietnamese
תגים:	הוספת תג אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!

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

פריטים דומים

Embedded software system testing : automatic testing solution based on formal method
מאת: Yin, Yongfeng
יצא לאור: (2024)

Formal Methods in Systems Biology
מאת: Fisher, Jasmin
יצא לאור: (2020)

Formal Methods for Industrial Critical Systems
מאת: Howar, Falk, et al.
יצא לאור: (2020)

Formal Methods in Software and Systems Modeling
יצא לאור: (2020)

Formal Methods for Computational Systems Biology
מאת: Bernardo, Marco, et al.
יצא לאור: (2020)

Formal Methods for Industrial Critical Systems
יצא לאור: (2020)

Formal Methods for Industrial Critical Systems
יצא לאור: (2020)

Formal Methods for Industrial Critical Systems
מאת: Leue, Stefan, et al.
יצא לאור: (2020)

Critical Systems: Formal Methods and Automated Verification
מאת: Petrucci, Laure, et al.
יצא לאור: (2020)

Formal Methods and Hybrid Real-Time Systems
מאת: Jones, Cliff B., et al.
יצא לאור: (2020)

Formal Logical Methods for System Security and Correctness
מאת: Grumberg, Orna, et al.
יצא לאור: (2013)

Formal Methods for Discrete-Time Dynamical Systems
מאת: Belta, Calin, et al.
יצא לאור: (2020)

Formal Methods for Open Object-Based Distributed Systems
יצא לאור: (2020)

Formal Methods for Open Object-Based Distributed Systems
מאת: Barthe, Gilles
יצא לאור: (2020)

Formal Methods for Open Object-Based Distributed Systems
מאת: Bonsangue, Marcello M., et al.
יצא לאור: (2020)

Formal Methods
מאת: Havelund, Klaus, et al.
יצא לאור: (2020)

Embedded systems handbook. Networked embedded systems
יצא לאור: (2009)

Integrated Formal Methods
מאת: Polikarpova, Nadia, et al.
יצא לאור: (2020)

Integrated Formal Methods
מאת: Furia, Carlo A., et al.
יצא לאור: (2020)

Teaching Formal Methods
יצא לאור: (2020)

Integrated Formal Methods
מאת: Davies, Jim, et al.
יצא לאור: (2020)

Integrated Formal Methods
מאת: Ahrendt, Wolfgang, et al.
יצא לאור: (2020)

NASA Formal Methods
מאת: Barrett, Clark, et al.
יצא לאור: (2020)

Formal Methods Teaching
מאת: Dongol, Brijesh, et al.
יצא לאור: (2020)

Integrated Formal Methods
מאת: Romijn, Judi M.T., et al.
יצא לאור: (2020)

Integrated Formal Methods
יצא לאור: (2020)

Formal Methods and Testing
מאת: Hierons, Robert M., et al.
יצא לאור: (2020)

Combinational methods :
מאת: Milkhalev, Alexander A.
יצא לאור: (2004)

Formal Methods for Components and Objects
יצא לאור: (2020)

Formal Methods and Software Engineering
מאת: Duan, Zhenhua, et al.
יצא לאור: (2020)

Formal Methods for Performance Evaluation
מאת: Bernardo, Marco, et al.
יצא לאור: (2020)

Formal Methods: Applications and Technology
מאת: Brim, Lubos, et al.
יצא לאור: (2020)

Formal Methods for Mobile Computing
יצא לאור: (2020)

Concise Guide to Formal Methods
מאת: O'Regan, Gerard
יצא לאור: (2020)

Formal Methods for Components and Objects
יצא לאור: (2020)

Software Engineering and Formal Methods
מאת: Cimatti, Alessandro, et al.
יצא לאור: (2020)

FM 2009: Formal Methods
יצא לאור: (2020)

Formal Methods: Foundations and Applications
מאת: Cavalheiro, Simone, et al.
יצא לאור: (2020)

FM 2005: Formal Methods
יצא לאור: (2020)

Web Services and Formal Methods
יצא לאור: (2020)