Cristin-resultat-ID: 1191052
Sist endret: 5. januar 2015, 19:11
Resultat
Vitenskapelig foredrag
2014

Towards Verifying Safety Properties of Real-Time Probabilistic Systems

Bidragsytere:
  • Fenglin Han
  • Jan Olaf Blech
  • Peter Michael Herrmann og
  • Heinz Schmidt

Presentasjon

Navn på arrangementet: 11th International Workshop on Formal Engineering approaches to Software Components and Architectures
Sted: Grenoble
Dato fra: 12. april 2014
Dato til: 12. april 2014

Om resultatet

Vitenskapelig foredrag
Publiseringsår: 2014

Beskrivelse Beskrivelse

Tittel

Towards Verifying Safety Properties of Real-Time Probabilistic Systems

Bidragsytere

Fenglin Han

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

Jan Olaf Blech

  • Tilknyttet:
    Forfatter
  • Tilknyttet:
    Forfatter
    ved Royal Melbourne Institute of Technology (RMIT University)
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

Heinz Schmidt

  • Tilknyttet:
    Forfatter
  • Tilknyttet:
    Forfatter
    ved Royal Melbourne Institute of Technology (RMIT University)
1 - 4 av 4