Combining formal methods for embedded systems /

QR code

Combining formal methods for embedded systems /

Bewaard in:

Bibliografische gegevens
Hoofdauteur:	Phạm Trần Nhu.
Andere auteurs:	Nguyễn Văn Trường.
Formaat:	Artikel
Taal:	Vietnamese
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

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

Gelijkaardige items

Embedded software system testing : automatic testing solution based on formal method
door: Yin, Yongfeng
Gepubliceerd in: (2024)

Formal Methods in Systems Biology
door: Fisher, Jasmin
Gepubliceerd in: (2020)

Formal Methods for Industrial Critical Systems
door: Howar, Falk, et al.
Gepubliceerd in: (2020)

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

Formal Methods for Computational Systems Biology
door: Bernardo, Marco, et al.
Gepubliceerd in: (2020)

Formal Methods for Industrial Critical Systems
Gepubliceerd in: (2020)

Formal Methods for Industrial Critical Systems
Gepubliceerd in: (2020)

Formal Methods for Industrial Critical Systems
door: Leue, Stefan, et al.
Gepubliceerd in: (2020)

Critical Systems: Formal Methods and Automated Verification
door: Petrucci, Laure, et al.
Gepubliceerd in: (2020)

Formal Methods and Hybrid Real-Time Systems
door: Jones, Cliff B., et al.
Gepubliceerd in: (2020)

Formal Logical Methods for System Security and Correctness
door: Grumberg, Orna, et al.
Gepubliceerd in: (2013)

Formal Methods for Discrete-Time Dynamical Systems
door: Belta, Calin, et al.
Gepubliceerd in: (2020)

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

Formal Methods for Open Object-Based Distributed Systems
door: Barthe, Gilles
Gepubliceerd in: (2020)

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

Formal Methods
door: Havelund, Klaus, et al.
Gepubliceerd in: (2020)

Embedded systems handbook. Networked embedded systems
Gepubliceerd in: (2009)

Integrated Formal Methods
door: Polikarpova, Nadia, et al.
Gepubliceerd in: (2020)

Integrated Formal Methods
door: Furia, Carlo A., et al.
Gepubliceerd in: (2020)

Teaching Formal Methods
Gepubliceerd in: (2020)

Integrated Formal Methods
door: Davies, Jim, et al.
Gepubliceerd in: (2020)

Integrated Formal Methods
door: Ahrendt, Wolfgang, et al.
Gepubliceerd in: (2020)

NASA Formal Methods
door: Barrett, Clark, et al.
Gepubliceerd in: (2020)

Formal Methods Teaching
door: Dongol, Brijesh, et al.
Gepubliceerd in: (2020)

Integrated Formal Methods
door: Romijn, Judi M.T., et al.
Gepubliceerd in: (2020)

Integrated Formal Methods
Gepubliceerd in: (2020)

Formal Methods and Testing
door: Hierons, Robert M., et al.
Gepubliceerd in: (2020)

Combinational methods :
door: Milkhalev, Alexander A.
Gepubliceerd in: (2004)

Formal Methods for Components and Objects
Gepubliceerd in: (2020)

Formal Methods and Software Engineering
door: Duan, Zhenhua, et al.
Gepubliceerd in: (2020)

Formal Methods for Performance Evaluation
door: Bernardo, Marco, et al.
Gepubliceerd in: (2020)

Formal Methods: Applications and Technology
door: Brim, Lubos, et al.
Gepubliceerd in: (2020)

Formal Methods for Mobile Computing
Gepubliceerd in: (2020)

Concise Guide to Formal Methods
door: O'Regan, Gerard
Gepubliceerd in: (2020)

Formal Methods for Components and Objects
Gepubliceerd in: (2020)

Software Engineering and Formal Methods
door: Cimatti, Alessandro, et al.
Gepubliceerd in: (2020)

FM 2009: Formal Methods
Gepubliceerd in: (2020)

Formal Methods: Foundations and Applications
door: Cavalheiro, Simone, et al.
Gepubliceerd in: (2020)

FM 2005: Formal Methods
Gepubliceerd in: (2020)

Web Services and Formal Methods
Gepubliceerd in: (2020)