Cristin-resultat-ID: 2003041
Sist endret: 17. februar 2022, 18:27
Resultat
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
2008

HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous PSs in AADL.

Bidragsytere:
  • Jahune Lee og
  • Peter Csaba Ölveczky

Bok

Om resultatet

Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Publiseringsår: 2008
Sider: 491 - 504

Klassifisering

Fagfelt (NPI)

Fagfelt: IKT
- Fagområde: Realfag og teknologi

Beskrivelse Beskrivelse

Tittel

HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous PSs in AADL.

Bidragsytere

Jahune Lee

  • Tilknyttet:
    Forfatter
    ved Pohang University of Science and Technology

Peter Csaba Ølveczky

Bidragsyterens navn vises på dette resultatet som Peter Csaba Ölveczky
  • Tilknyttet:
    Forfatter
    ved PROG Programmering ved Universitetet i Oslo
1 - 2 av 2

Resultatet er en del av Resultatet er en del av

1 - 1 av 1