Combining formal methods for embedded systems /

kod QR

Combining formal methods for embedded systems /

Zapisane w:

Opis bibliograficzny
1. autor:	Phạm Trần Nhu.
Kolejni autorzy:	Nguyễn Văn Trường.
Format:	Artykuł
Język:	Vietnamese
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

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

Podobne zapisy

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

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

Formal Methods for Industrial Critical Systems
od: Howar, Falk, i wsp.
Wydane: (2020)

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

Formal Methods for Computational Systems Biology
od: Bernardo, Marco, i wsp.
Wydane: (2020)

Formal Methods for Industrial Critical Systems
Wydane: (2020)

Formal Methods for Industrial Critical Systems
Wydane: (2020)

Formal Methods for Industrial Critical Systems
od: Leue, Stefan, i wsp.
Wydane: (2020)

Critical Systems: Formal Methods and Automated Verification
od: Petrucci, Laure, i wsp.
Wydane: (2020)

Formal Methods and Hybrid Real-Time Systems
od: Jones, Cliff B., i wsp.
Wydane: (2020)

Formal Logical Methods for System Security and Correctness
od: Grumberg, Orna, i wsp.
Wydane: (2013)

Formal Methods for Discrete-Time Dynamical Systems
od: Belta, Calin, i wsp.
Wydane: (2020)

Formal Methods
od: Havelund, Klaus, i wsp.
Wydane: (2020)

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

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

Formal Methods for Open Object-Based Distributed Systems
od: Bonsangue, Marcello M., i wsp.
Wydane: (2020)

Integrated Formal Methods
od: Polikarpova, Nadia, i wsp.
Wydane: (2020)

Integrated Formal Methods
od: Furia, Carlo A., i wsp.
Wydane: (2020)

Teaching Formal Methods
Wydane: (2020)

Integrated Formal Methods
od: Davies, Jim, i wsp.
Wydane: (2020)

Integrated Formal Methods
od: Ahrendt, Wolfgang, i wsp.
Wydane: (2020)

NASA Formal Methods
od: Barrett, Clark, i wsp.
Wydane: (2020)

Formal Methods Teaching
od: Dongol, Brijesh, i wsp.
Wydane: (2020)

Integrated Formal Methods
od: Romijn, Judi M.T., i wsp.
Wydane: (2020)

Integrated Formal Methods
Wydane: (2020)

Formal Methods and Testing
od: Hierons, Robert M., i wsp.
Wydane: (2020)

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

Formal Methods for Components and Objects
Wydane: (2020)

Formal Methods and Software Engineering
od: Duan, Zhenhua, i wsp.
Wydane: (2020)

Formal Methods for Performance Evaluation
od: Bernardo, Marco, i wsp.
Wydane: (2020)

Formal Methods: Applications and Technology
od: Brim, Lubos, i wsp.
Wydane: (2020)

Formal Methods for Mobile Computing
Wydane: (2020)

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

Formal Methods for Components and Objects
Wydane: (2020)

Software Engineering and Formal Methods
od: Cimatti, Alessandro, i wsp.
Wydane: (2020)

FM 2009: Formal Methods
Wydane: (2020)

Formal Methods: Foundations and Applications
od: Cavalheiro, Simone, i wsp.
Wydane: (2020)

FM 2005: Formal Methods
Wydane: (2020)

Web Services and Formal Methods
Wydane: (2020)

Formal Methods: Foundations and Applications
od: Davies, Jim, i wsp.
Wydane: (2015)