Cristin-resultat-ID: 889152
Sist endret: 18. januar 2012, 14:19
Resultat
Vitenskapelig foredrag
2011

Analyzing Realizability of Choreographies Using Initiating and Responding Flows

Bidragsytere:
  • Rolv Bræk og
  • Surya Bahadur Kathayat

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

Vitenskapelig foredrag
Publiseringsår: 2011

Beskrivelse Beskrivelse

Tittel

Analyzing Realizability of Choreographies Using Initiating and Responding Flows

Bidragsytere

Rolv Richard Berven Bræk

Bidragsyterens navn vises på dette resultatet som Rolv Bræk
  • Tilknyttet:
    Forfatter
    ved Institutt for informasjonssikkerhet og kommunikasjonsteknologi ved Norges teknisk-naturvitenskapelige universitet

Surya Bahadur Kathayat

  • Tilknyttet:
    Forfatter
    ved Institutt for informasjonssikkerhet og kommunikasjonsteknologi ved Norges teknisk-naturvitenskapelige universitet
1 - 2 av 2