Combining formal methods for embedded systems /

QR koda

Combining formal methods for embedded systems /

Shranjeno v:

Bibliografske podrobnosti
Glavni avtor:	Phạm Trần Nhu.
Drugi avtorji:	Nguyễn Văn Trường.
Format:	Bài viết
Jezik:	Vietnamese
Oznake:	Označite Brez oznak, prvi označite!

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

Podobne knjige/članki

Embedded software system testing : automatic testing solution based on formal method
od: Yin, Yongfeng
Izdano: (2024)

Formal Methods in Systems Biology
od: Fisher, Jasmin
Izdano: (2020)

Formal Methods for Industrial Critical Systems
od: Howar, Falk, et al.
Izdano: (2020)

Formal Methods in Software and Systems Modeling
Izdano: (2020)

Formal Methods for Computational Systems Biology
od: Bernardo, Marco, et al.
Izdano: (2020)

Formal Methods for Industrial Critical Systems
Izdano: (2020)

Formal Methods for Industrial Critical Systems
Izdano: (2020)

Formal Methods for Industrial Critical Systems
od: Leue, Stefan, et al.
Izdano: (2020)

Critical Systems: Formal Methods and Automated Verification
od: Petrucci, Laure, et al.
Izdano: (2020)

Formal Methods and Hybrid Real-Time Systems
od: Jones, Cliff B., et al.
Izdano: (2020)

Formal Logical Methods for System Security and Correctness
od: Grumberg, Orna, et al.
Izdano: (2013)

Formal Methods for Discrete-Time Dynamical Systems
od: Belta, Calin, et al.
Izdano: (2020)

Formal Methods for Open Object-Based Distributed Systems
Izdano: (2020)

Formal Methods for Open Object-Based Distributed Systems
od: Barthe, Gilles
Izdano: (2020)

Formal Methods for Open Object-Based Distributed Systems
od: Bonsangue, Marcello M., et al.
Izdano: (2020)

Formal Methods
od: Havelund, Klaus, et al.
Izdano: (2020)

Embedded systems handbook. Networked embedded systems
Izdano: (2009)

Integrated Formal Methods
od: Polikarpova, Nadia, et al.
Izdano: (2020)

Integrated Formal Methods
od: Furia, Carlo A., et al.
Izdano: (2020)

Teaching Formal Methods
Izdano: (2020)

Integrated Formal Methods
od: Davies, Jim, et al.
Izdano: (2020)

Integrated Formal Methods
od: Ahrendt, Wolfgang, et al.
Izdano: (2020)

NASA Formal Methods
od: Barrett, Clark, et al.
Izdano: (2020)

Formal Methods Teaching
od: Dongol, Brijesh, et al.
Izdano: (2020)

Integrated Formal Methods
od: Romijn, Judi M.T., et al.
Izdano: (2020)

Integrated Formal Methods
Izdano: (2020)

Formal Methods and Testing
od: Hierons, Robert M., et al.
Izdano: (2020)

Combinational methods :
od: Milkhalev, Alexander A.
Izdano: (2004)

Formal Methods for Components and Objects
Izdano: (2020)

Formal Methods and Software Engineering
od: Duan, Zhenhua, et al.
Izdano: (2020)

Formal Methods for Performance Evaluation
od: Bernardo, Marco, et al.
Izdano: (2020)

Formal Methods: Applications and Technology
od: Brim, Lubos, et al.
Izdano: (2020)

Formal Methods for Mobile Computing
Izdano: (2020)

Concise Guide to Formal Methods
od: O'Regan, Gerard
Izdano: (2020)

Formal Methods for Components and Objects
Izdano: (2020)

Software Engineering and Formal Methods
od: Cimatti, Alessandro, et al.
Izdano: (2020)

FM 2009: Formal Methods
Izdano: (2020)

Formal Methods: Foundations and Applications
od: Cavalheiro, Simone, et al.
Izdano: (2020)

FM 2005: Formal Methods
Izdano: (2020)

Web Services and Formal Methods
Izdano: (2020)