Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Historikk
Cristin-resultat-ID:
889152
Sist endret:
18. januar 2012, 14:19
Resultat
Vitenskapelig foredrag
2011
Analyzing Realizability of Choreographies Using Initiating and Responding Flows
Rolv Bræk
og
Surya Bahadur Kathayat
Presentasjon
Presentasjon
Navn på arrangementet: MoDeVVa '11 Model-Driven Engineering, Verification, and Validation
Sted: Wellington
Dato fra:
17. oktober 2011
Dato til:
17. oktober 2011
Arrangør:
Arrangørnavn: MODELS 2011 Conference
Om resultatet
Om resultatet
Vitenskapelig foredrag
Publiseringsår: 2011
Beskrivelse
Beskrivelse
Engelsk
Tittel
Analyzing Realizability of Choreographies Using Initiating and Responding Flows
Bidragsytere
Bidragsytere
Rolv Richard Berven Bræk
Bidragsyterens navn vises på dette resultatet som Rolv Bræk
Forfatter
ved Institutt for informasjonssikkerhet og kommunikasjonsteknologi ved Norges teknisk-naturvitenskapelige universitet
Surya Bahadur Kathayat
Forfatter
ved Institutt for informasjonssikkerhet og kommunikasjonsteknologi ved Norges teknisk-naturvitenskapelige universitet
1
-
2
av
2