Cristin-resultat-ID: 223006
Sist endret: 30. november 2007, 14:10
Resultat
Vitenskapelig foredrag
2007

Engineering Support for UML Activities by Automated Model-Checking - An Example

Bidragsytere:
  • Frank Alexander Kraemer
  • Vidar Slåtten og
  • Peter Michael Herrmann

Presentasjon

Navn på arrangementet: 4th International Workshop on Rapid Integration of Software Engineering Techniques (RISE)
Sted: Luxembourg
Dato fra: 26. november 2007
Dato til: 27. november 2007

Arrangør:

Arrangørnavn: ERCIM Working Group

Om resultatet

Vitenskapelig foredrag
Publiseringsår: 2007

Beskrivelse Beskrivelse

Tittel

Engineering Support for UML Activities by Automated Model-Checking - An Example

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

Vidar Slåtten

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