Zobrazuji výsledky 1 - 2 z 2 pro vyhledávání 'Lahiri, Shuvendu', doba hledání: 0,04 s. Upřesnit hledání
1
Runtime Verification
Autor Lahiri, Shuvendu, Reger, Giles
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
Automated Technology for Verification and Analysis
Autor Lahiri, Shuvendu K., Wang, Chao
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:
Vyhledávací nástroje: RSS — Poslat e-mailem