Cristin-resultat-ID: 378301
Sist endret: 21. oktober 2013, 12:13
NVI-rapporteringsår: 2006
Resultat
Vitenskapelig artikkel
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

Tidsskrift

Lecture Notes in Computer Science (LNCS)
ISSN 0302-9743
e-ISSN 1611-3349
NVI-nivå 1
Finn i kanalregisteret

Om resultatet

Vitenskapelig artikkel
Publiseringsår: 2006
Volum: 4276
Sider: 1613 - 1632

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