Combining formal methods for embedded systems /

QR kȏd

Combining formal methods for embedded systems /

Spremljeno u:

Bibliografski detalji
Glavni autor:	Phạm Trần Nhu.
Daljnji autori:	Nguyễn Văn Trường.
Format:	Članak
Jezik:	Vietnamese
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!

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

Similar Items

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, i dr.
Izdano: (2020)

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

Formal Methods for Computational Systems Biology
od: Bernardo, Marco, i dr.
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, i dr.
Izdano: (2020)

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

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

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

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

Formal Methods
od: Havelund, Klaus, i dr.
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., i dr.
Izdano: (2020)

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

Integrated Formal Methods
od: Polikarpova, Nadia, i dr.
Izdano: (2020)

Integrated Formal Methods
od: Furia, Carlo A., i dr.
Izdano: (2020)

Teaching Formal Methods
Izdano: (2020)

Integrated Formal Methods
od: Davies, Jim, i dr.
Izdano: (2020)

Integrated Formal Methods
od: Ahrendt, Wolfgang, i dr.
Izdano: (2020)

NASA Formal Methods
od: Barrett, Clark, i dr.
Izdano: (2020)

Formal Methods Teaching
od: Dongol, Brijesh, i dr.
Izdano: (2020)

Integrated Formal Methods
od: Romijn, Judi M.T., i dr.
Izdano: (2020)

Integrated Formal Methods
Izdano: (2020)

Formal Methods and Testing
od: Hierons, Robert M., i dr.
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, i dr.
Izdano: (2020)

Formal Methods for Performance Evaluation
od: Bernardo, Marco, i dr.
Izdano: (2020)

Formal Methods: Applications and Technology
od: Brim, Lubos, i dr.
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, i dr.
Izdano: (2020)

FM 2009: Formal Methods
Izdano: (2020)

Formal Methods: Foundations and Applications
od: Cavalheiro, Simone, i dr.
Izdano: (2020)

FM 2005: Formal Methods
Izdano: (2020)

Web Services and Formal Methods
Izdano: (2020)