Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Historikk
Cristin-resultat-ID:
531320
Sist endret:
25. januar 2011, 15:25
Resultat
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
2010
The rCOS methodology and modeler
Volker Stolz
Bok
Bok
Programmiersprachen und Rechenkonzepte - 27.Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte" Bad Honnef, 3.-5. Mai 2010 Technical Report 1010
Utgiver
CAU Kiel, Germany
Om resultatet
Om resultatet
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Publiseringsår: 2010
Beskrivelse
Beskrivelse
Engelsk
Tittel
The rCOS methodology and modeler
Bidragsytere
Bidragsytere
Volker Stolz
Forfatter
ved Pålitelige systemer ved Universitetet i Oslo
1
-
1
av
1
Tilknyttede prosjekter
Tilknyttede prosjekter
Applied Runtime Verification (ARV)
Volker Stolz + 2 deltakere
Pålitelige systemer ved Universitetet i Oslo
2 resultater
Avsluttet prosjekt
1
-
1
av
1
Resultatet er en del av
Resultatet er en del av
Programmiersprachen und Rechenkonzepte - 27.Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte" Bad Honnef, 3.-5. Mai 2010 Technical Report 1010.
Hanus, Michael; Reck, Fabian. 2010, CAU
Vitenskapelig antologi/Konferanseserie
1
-
1
av
1