Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 665543

Component Models for Reasoning


Seceleanu, Cristina; Crnković, Ivica
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:

Avatar Url Ivica Crnković (autor)

Poveznice na cjeloviti tekst rada:

doi www.es.mdh.se doi.ieeecomputersociety.org

Citiraj ovu publikaciju:

Seceleanu, Cristina; Crnković, Ivica
Component Models for Reasoning // Computer (Long Beach, Calif.), 13 (2013), 40-47 doi:10.1109/MC.2013.335 (međunarodna recenzija, članak, znanstveni)
Seceleanu, C. & Crnković, I. (2013) Component Models for Reasoning. Computer (Long Beach, Calif.), 13, 40-47 doi:10.1109/MC.2013.335.
@article{article, author = {Seceleanu, Cristina and Crnkovi\'{c}, Ivica}, year = {2013}, pages = {40-47}, DOI = {10.1109/MC.2013.335}, keywords = {component models, reasoning}, journal = {Computer (Long Beach, Calif.)}, doi = {10.1109/MC.2013.335}, volume = {13}, issn = {0018-9162}, title = {Component Models for Reasoning}, keyword = {component models, reasoning} }
@article{article, author = {Seceleanu, Cristina and Crnkovi\'{c}, Ivica}, year = {2013}, pages = {40-47}, DOI = {10.1109/MC.2013.335}, keywords = {component models, reasoning}, journal = {Computer (Long Beach, Calif.)}, doi = {10.1109/MC.2013.335}, volume = {13}, issn = {0018-9162}, title = {Component Models for Reasoning}, keyword = {component models, reasoning} }

Č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


Citati:





    Contrast
    Increase Font
    Decrease Font
    Dyslexic Font