Cristin-resultat-ID: 2004635
Sist endret: 23. februar 2022, 12:47
NVI-rapporteringsår: 2021
Resultat
Vitenskapelig artikkel
2021

HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL

Bidragsytere:
  • Jaehun Lee
  • Sharon Kim
  • Kyungmin Bae og
  • Peter Csaba Ølveczky

Tidsskrift

Lecture Notes in Computer Science (LNCS)
ISSN 0302-9743
e-ISSN 1611-3349
NVI-nivå 1

Om resultatet

Vitenskapelig artikkel
Publiseringsår: 2021
Publisert online: 2021
Volum: 12759
Hefte: 1
Sider: 491 - 504

Beskrivelse Beskrivelse

Tittel

HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL

Bidragsytere

Jaehun Lee

  • Tilknyttet:
    Forfatter
    ved Pohang University of Science and Technology

Sharon Kim

  • Tilknyttet:
    Forfatter
    ved Pohang University of Science and Technology

Kyungmin Bae

  • Tilknyttet:
    Forfatter
    ved Pohang University of Science and Technology

Peter Csaba Ølveczky

  • Tilknyttet:
    Forfatter
    ved PROG Programmering ved Universitetet i Oslo
1 - 4 av 4