izvor podataka: crosbi
✓
Component Models for Reasoning (CROSBI ID 199649)
Prilog u časopisu | izvorni znanstveni rad | međunarodna recenzija
Seceleanu, Cristina ; Crnković, Ivica
Component Models for Reasoning // Computer (Long Beach, Calif.), 13 (2013), 40-47. doi: 10.1109/MC.2013.335
Podaci o odgovornosti
Seceleanu, Cristina ; Crnković, Ivica
engleski
Component Models for Reasoning
Component models with a rich specification—that is, component models built for reasoning—facilitate the use of different analysis and prediction techniques that simplify a system’s design while increasing trust in its correct functioning.
component models ; reasoning
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o izdanju
Povezanost rada
Povezane osobe
Povezane ustanove