Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Historikk
Cristin-resultat-ID:
221060
Sist endret:
6. september 2007, 21:47
Resultat
Vitenskapelig foredrag
2007
Formalizing Collaboration-Oriented Service Specifications using Temporal Logic
Frank Alexander Kraemer
og
Peter Michael Herrmann
Presentasjon
Presentasjon
Navn på arrangementet: Networking and Electronic Commerce Research Conference
Sted: Lake Garda
Dato fra:
18. oktober 2007
Dato til:
21. oktober 2007
Om resultatet
Om resultatet
Vitenskapelig foredrag
Publiseringsår: 2007
Beskrivelse
Beskrivelse
Engelsk
Tittel
Formalizing Collaboration-Oriented Service Specifications using Temporal Logic
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
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
-
2
av
2
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