Zobrazuji výsledky 1 - 2 z 2 pro vyhledávání 'Cimatti, Alessandro', doba hledání: 0,03 s. Upřesnit hledání
1
Software Engineering and Formal Methods
Autor Cimatti, Alessandro, Sirjani, Marjan
Vydáno 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Získat plný text
Přidat do oblíbených
Uloženo v:
2
Safety, dependability and performance analysis of extended AADL models /
Další autoři: “...Cimatti, Alessandro....”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Přidat do oblíbených
Uloženo v:
Vyhledávací nástroje: RSS — Poslat e-mailem