Cristin-resultat-ID: 2004421
Sist endret: 22. februar 2022, 11:07
Resultat
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
2008

HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL. Publication at "33rd International Conference on Computer Aided Verification (CAV’21)”.

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

Bok

Lecture Notes in Computer Science (LNCS)
ISBN:
  • 978-3-030-58805-2

Utgiver

Springer
NVI-nivå 1
Finn i kanalregisteret

Serie

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

Om resultatet

Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Publiseringsår: 2008
Hefte: 12377
Sider: 491 - 504
ISBN:
  • 978-3-030-58805-2

Lenker

original online (doi)

ORIA

Klassifisering

Fagfelt (NPI)

Fagfelt: Informatikk og datateknikk
- Fagområde: Realfag og teknologi

Beskrivelse Beskrivelse

Tittel

HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL. Publication at "33rd International Conference on Computer Aided Verification (CAV’21)”.

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

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

Resultatet er en del av Resultatet er en del av

Lecture Notes in Computer Science (LNCS).

Miesenberger, Klaus; Manduchi, Roberto; Rodriguez, Mario Covarrubias; Peňáz, Petr. 2020, Springer. Vitenskapelig antologi/Konferanseserie
1 - 1 av 1