Combining formal methods for embedded systems /
Spremljeno u:
| 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)