Combining formal methods for embedded systems /
Enregistré dans:
| Auteur principal: | Phạm Trần Nhu. |
|---|---|
| Autres auteurs: | Nguyễn Văn Trường. |
| Format: | Article |
| Langue: | Vietnamese |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
Documents similaires
-
Embedded software system testing : automatic testing solution based on formal method
par: Yin, Yongfeng
Publié: (2024) -
Formal Methods in Systems Biology
par: Fisher, Jasmin
Publié: (2020) -
Formal Methods for Industrial Critical Systems
par: Howar, Falk, et autres
Publié: (2020) -
Formal Methods in Software and Systems Modeling
Publié: (2020) -
Formal Methods for Computational Systems Biology
par: Bernardo, Marco, et autres
Publié: (2020)