Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Historikk
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
Frank Alexander Kraemer
Vidar Slåtten
og
Peter Michael Herrmann
Presentasjon
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
Om resultatet
Vitenskapelig foredrag
Publiseringsår: 2007
Beskrivelse
Beskrivelse
Engelsk
Tittel
Engineering Support for UML Activities by Automated Model-Checking - An Example
Bidragsytere
Bidragsytere
Frank Alexander Krämer
Bidragsyterens navn vises på dette resultatet som Frank Alexander Kraemer
Forfatter
ved Institutt for informasjonssikkerhet og kommunikasjonsteknologi ved Norges teknisk-naturvitenskapelige universitet
Vidar Slåtten
Forfatter
ved Institutt for informasjonssikkerhet og kommunikasjonsteknologi ved Norges teknisk-naturvitenskapelige universitet
Peter Micael Herrmann
Bidragsyterens navn vises på dette resultatet som Peter Michael Herrmann
Forfatter
ved Institutt for informasjonssikkerhet og kommunikasjonsteknologi ved Norges teknisk-naturvitenskapelige universitet
1
-
3
av
3
Tilknyttede prosjekter
Tilknyttede prosjekter
Infrastructure for Integrated Services (ISIS)
Erik Berg + 9 deltakere
Institutt for informasjonssikkerhet og kommunikasjonsteknologi ved Norges teknisk-naturvitenskapelige universitet
Telenor
Universitetet i Agder
16 resultater
Avsluttet prosjekt
1
-
1
av
1