Cristin-resultat-ID: 405957
Sist endret: 27. februar 2006, 10:17
NVI-rapporteringsår: 2005
Resultat
Vitenskapelig artikkel
2005

Automatic translation of service specification to a behavioral type language for dynamic service verification

Bidragsytere:
  • Shanshan Jiang
  • Cyril Carrez og
  • Finn Arve Aagesen

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: 2005
Volum: 3475

Importkilder

Isi-ID: 000230112900004

Beskrivelse Beskrivelse

Tittel

Automatic translation of service specification to a behavioral type language for dynamic service verification

Bidragsytere

Shanshan Jiang

  • Tilknyttet:
    Forfatter
    ved Institutt for informasjonssikkerhet og kommunikasjonsteknologi ved Norges teknisk-naturvitenskapelige universitet

Cyril Carrez

  • Tilknyttet:
    Forfatter
    ved Institutt for informasjonssikkerhet og kommunikasjonsteknologi ved Norges teknisk-naturvitenskapelige universitet

Finn Arve Aagesen

  • Tilknyttet:
    Forfatter
    ved Institutt for informasjonssikkerhet og kommunikasjonsteknologi ved Norges teknisk-naturvitenskapelige universitet
1 - 3 av 3