Pregled bibliografske jedinice broj: 665543
Component Models for Reasoning
Component Models for Reasoning // Computer (Long Beach, Calif.), 13 (2013), 40-47 doi:10.1109/MC.2013.335 (međunarodna recenzija, članak, znanstveni)
CROSBI ID: 665543 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Component Models for Reasoning
Autori
Seceleanu, Cristina ; Crnković, Ivica
Izvornik
Computer (Long Beach, Calif.) (0018-9162) 13
(2013);
40-47
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
component models ; reasoning
Sažetak
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.
Izvorni jezik
Engleski
Znanstvena područja
Računarstvo
POVEZANOST RADA
Projekti:
036-0361959-1965 - Programsko inženjerstvo u sveprisutnom računarstvu (Žagar, Mario, MZO ) ( CroRIS)
Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb,
Fakultet elektrotehnike, računarstva i informacijskih tehnologija Osijek
Profili:
Ivica Crnković
(autor)
Citiraj ovu publikaciju:
Časopis indeksira:
- Current Contents Connect (CCC)
- Web of Science Core Collection (WoSCC)
- Science Citation Index Expanded (SCI-EXP)
- SCI-EXP, SSCI i/ili A&HCI
- Scopus