Combining formal methods for embedded systems /

QR Code (код быстрого отклика)

Combining formal methods for embedded systems /

Сохранить в:

Библиографические подробности
Главный автор:	Phạm Trần Nhu.
Другие авторы:	Nguyễn Văn Trường.
Формат:	Статья
Язык:	Vietnamese
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

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

Схожие документы

Embedded software system testing : automatic testing solution based on formal method
по: Yin, Yongfeng
Опубликовано: (2024)

Formal Methods in Systems Biology
по: Fisher, Jasmin
Опубликовано: (2020)

Formal Methods for Industrial Critical Systems
по: Howar, Falk, et al.
Опубликовано: (2020)

Formal Methods in Software and Systems Modeling
Опубликовано: (2020)

Formal Methods for Computational Systems Biology
по: Bernardo, Marco, et al.
Опубликовано: (2020)

Formal Methods for Industrial Critical Systems
Опубликовано: (2020)

Formal Methods for Industrial Critical Systems
Опубликовано: (2020)

Formal Methods for Industrial Critical Systems
по: Leue, Stefan, et al.
Опубликовано: (2020)

Critical Systems: Formal Methods and Automated Verification
по: Petrucci, Laure, et al.
Опубликовано: (2020)

Formal Methods and Hybrid Real-Time Systems
по: Jones, Cliff B., et al.
Опубликовано: (2020)

Formal Logical Methods for System Security and Correctness
по: Grumberg, Orna, et al.
Опубликовано: (2013)

Formal Methods for Discrete-Time Dynamical Systems
по: Belta, Calin, et al.
Опубликовано: (2020)

Formal Methods
по: Havelund, Klaus, et al.
Опубликовано: (2020)

Formal Methods for Open Object-Based Distributed Systems
Опубликовано: (2020)

Formal Methods for Open Object-Based Distributed Systems
по: Barthe, Gilles
Опубликовано: (2020)

Formal Methods for Open Object-Based Distributed Systems
по: Bonsangue, Marcello M., et al.
Опубликовано: (2020)

Integrated Formal Methods
по: Polikarpova, Nadia, et al.
Опубликовано: (2020)

Integrated Formal Methods
по: Furia, Carlo A., et al.
Опубликовано: (2020)

Teaching Formal Methods
Опубликовано: (2020)

Integrated Formal Methods
по: Davies, Jim, et al.
Опубликовано: (2020)

Integrated Formal Methods
по: Ahrendt, Wolfgang, et al.
Опубликовано: (2020)

NASA Formal Methods
по: Barrett, Clark, et al.
Опубликовано: (2020)

Formal Methods Teaching
по: Dongol, Brijesh, et al.
Опубликовано: (2020)

Integrated Formal Methods
по: Romijn, Judi M.T., et al.
Опубликовано: (2020)

Integrated Formal Methods
Опубликовано: (2020)

Formal Methods and Testing
по: Hierons, Robert M., et al.
Опубликовано: (2020)

Embedded systems handbook. Networked embedded systems
Опубликовано: (2009)

Formal Methods for Components and Objects
Опубликовано: (2020)

Formal Methods and Software Engineering
по: Duan, Zhenhua, et al.
Опубликовано: (2020)

Formal Methods for Performance Evaluation
по: Bernardo, Marco, et al.
Опубликовано: (2020)

Formal Methods: Applications and Technology
по: Brim, Lubos, et al.
Опубликовано: (2020)

Formal Methods for Mobile Computing
Опубликовано: (2020)

Concise Guide to Formal Methods
по: O'Regan, Gerard
Опубликовано: (2020)

Formal Methods for Components and Objects
Опубликовано: (2020)

Software Engineering and Formal Methods
по: Cimatti, Alessandro, et al.
Опубликовано: (2020)

FM 2009: Formal Methods
Опубликовано: (2020)

Formal Methods: Foundations and Applications
по: Cavalheiro, Simone, et al.
Опубликовано: (2020)

FM 2005: Formal Methods
Опубликовано: (2020)

Web Services and Formal Methods
Опубликовано: (2020)

Formal Methods: Foundations and Applications
по: Davies, Jim, et al.
Опубликовано: (2015)