Cristin-resultat-ID: 211583
Sist endret: 21. oktober 2013, 12:13
Resultat
Vitenskapelig foredrag
2006

Aligning UML 2.0 State Machines and Temporal logic for the Efficient Execution of Services

Bidragsytere:
  • Frank Alexander Kraemer
  • Peter Michael Herrmann og
  • Rolv Bræk

Presentasjon

Navn på arrangementet: OTM Confederated Conferences, Distributed Objects and Applications (DOA)
Sted: Montpellier
Dato fra: 30. oktober 2006
Dato til: 1. november 2006

Om resultatet

Vitenskapelig foredrag
Publiseringsår: 2006

Beskrivelse Beskrivelse

Tittel

Aligning UML 2.0 State Machines and Temporal logic for the Efficient Execution of Services

Bidragsytere

Frank Alexander Krämer

Bidragsyterens navn vises på dette resultatet som Frank Alexander Kraemer
  • Tilknyttet:
    Forfatter
    ved Institutt for informasjonssikkerhet og kommunikasjonsteknologi ved Norges teknisk-naturvitenskapelige universitet
Aktiv cristin-person

Peter Micael Herrmann

Bidragsyterens navn vises på dette resultatet som Peter Michael Herrmann
  • Tilknyttet:
    Forfatter
    ved Institutt for informasjonssikkerhet og kommunikasjonsteknologi ved Norges teknisk-naturvitenskapelige universitet

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
1 - 3 av 3