Combining formal methods for embedded systems /
Na minha lista:
| Autor principal: | Phạm Trần Nhu. |
|---|---|
| Outros Autores: | Nguyễn Văn Trường. |
| Formato: | Atigo |
| Idioma: | Vietnamese |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
Registros relacionados
-
Embedded software system testing : automatic testing solution based on formal method
por: Yin, Yongfeng
Publicado em: (2024) -
Formal Methods in Systems Biology
por: Fisher, Jasmin
Publicado em: (2020) -
Formal Methods for Industrial Critical Systems
por: Howar, Falk, et al.
Publicado em: (2020) -
Formal Methods in Software and Systems Modeling
Publicado em: (2020) -
Formal Methods for Computational Systems Biology
por: Bernardo, Marco, et al.
Publicado em: (2020)