Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Historikk
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.
Jahune Lee
og
Peter Csaba Ölveczky
Bok
Bok
Springer Lecture Notes in Computer Science
Utgiver
Springer
NVI-nivå 1
Finn i kanalregisteret
Om resultatet
Om resultatet
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Publiseringsår: 2008
Sider: 491 - 504
Klassifisering
Klassifisering
Fagfelt (NPI)
Fagfelt: IKT
- Fagområde: Realfag og teknologi
Beskrivelse
Beskrivelse
Engelsk
Tittel
HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous PSs in AADL.
Bidragsytere
Bidragsytere
Jahune Lee
Forfatter
ved Pohang University of Science and Technology
Peter Csaba Ølveczky
Bidragsyterens navn vises på dette resultatet som Peter Csaba Ölveczky
Forfatter
ved PROG Programmering ved Universitetet i Oslo
1
-
2
av
2
Resultatet er en del av
Resultatet er en del av
Springer Lecture Notes in Computer Science.
2008, Springer.
Rapport
1
-
1
av
1