Model Checking Software
Đã lưu trong:
Formáid: | Leabhar |
---|---|
Teanga: | English |
Foilsithe: |
Springer Berlin Heidelberg
2020
|
Ábhair: | |
Rochtain Ar Líne: | https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82313 |
Clibeanna: |
Cuir Clib Leis
Gan Chlibeanna, Bí ar an gcéad duine leis an taifead seo a chlibeáil!
|
Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
---|
Míreanna Comhchosúla
-
Model Checking Software
Foilsithe: (2020) -
Models in Software Engineering
le: Giese, Holger
Foilsithe: (2020) -
Quality of Software Architectures Models and Architectures
Foilsithe: (2020) -
25 Years of Model Checking
le: Grumberg, Orna, et al.
Foilsithe: (2020) -
Model Checking Software
le: Godefroid, Patrick
Foilsithe: (2020)