Symposium on Real-Time and Hybrid Systems
Uloženo v:
Hlavní autoři: | Jones, Cliff, Wang, Ji, Zhan, Naijun |
---|---|
Médium: | Kniha |
Jazyk: | English |
Vydáno: |
Springer International Publishing
2020
|
Témata: | |
On-line přístup: | https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/87862 |
Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|
Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
---|
Podobné jednotky
-
Formal Methods and Hybrid Real-Time Systems
Autor: Jones, Cliff B., a další
Vydáno: (2020) -
Hybrid Intelligent Systems
Autor: Castillo, Oscar, a další
Vydáno: (2020) -
Architecting Dependable Systems III
Autor: Lemos, Rogério de, a další
Vydáno: (2020) -
Analysis and Design of Information Systems
Autor: Langer, Arthur M.
Vydáno: (2020) -
Formal Methods for Industrial Critical Systems
Autor: Leue, Stefan, a další
Vydáno: (2020)