Combining formal methods for embedded systems /

QR Kodea

Combining formal methods for embedded systems /

Gorde:

Xehetasun bibliografikoak
Egile nagusia:	Phạm Trần Nhu.
Beste egile batzuk:	Nguyễn Văn Trường.
Formatua:	Artikulua
Hizkuntza:	Vietnamese
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

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

Antzeko izenburuak

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

Formal Methods in Systems Biology
nork: Fisher, Jasmin
Argitaratua: (2020)

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

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

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

Formal Methods for Industrial Critical Systems
Argitaratua: (2020)

Formal Methods for Industrial Critical Systems
Argitaratua: (2020)

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

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

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

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

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

Formal Methods
nork: Havelund, Klaus, et al.
Argitaratua: (2020)

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

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

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

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

Integrated Formal Methods
nork: Polikarpova, Nadia, et al.
Argitaratua: (2020)

Integrated Formal Methods
nork: Furia, Carlo A., et al.
Argitaratua: (2020)

Teaching Formal Methods
Argitaratua: (2020)

Integrated Formal Methods
nork: Davies, Jim, et al.
Argitaratua: (2020)

Integrated Formal Methods
nork: Ahrendt, Wolfgang, et al.
Argitaratua: (2020)

NASA Formal Methods
nork: Barrett, Clark, et al.
Argitaratua: (2020)

Formal Methods Teaching
nork: Dongol, Brijesh, et al.
Argitaratua: (2020)

Integrated Formal Methods
nork: Romijn, Judi M.T., et al.
Argitaratua: (2020)

Integrated Formal Methods
Argitaratua: (2020)

Formal Methods and Testing
nork: Hierons, Robert M., et al.
Argitaratua: (2020)

Combinational methods :
nork: Milkhalev, Alexander A.
Argitaratua: (2004)

Formal Methods for Components and Objects
Argitaratua: (2020)

Formal Methods and Software Engineering
nork: Duan, Zhenhua, et al.
Argitaratua: (2020)

Formal Methods for Performance Evaluation
nork: Bernardo, Marco, et al.
Argitaratua: (2020)

Formal Methods: Applications and Technology
nork: Brim, Lubos, et al.
Argitaratua: (2020)

Formal Methods for Mobile Computing
Argitaratua: (2020)

Concise Guide to Formal Methods
nork: O'Regan, Gerard
Argitaratua: (2020)

Formal Methods for Components and Objects
Argitaratua: (2020)

Software Engineering and Formal Methods
nork: Cimatti, Alessandro, et al.
Argitaratua: (2020)

FM 2009: Formal Methods
Argitaratua: (2020)

Formal Methods: Foundations and Applications
nork: Cavalheiro, Simone, et al.
Argitaratua: (2020)

FM 2005: Formal Methods
Argitaratua: (2020)

Web Services and Formal Methods
Argitaratua: (2020)