Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Historikk
Cristin-resultat-ID:
1191052
Sist endret:
5. januar 2015, 19:11
Resultat
Vitenskapelig foredrag
2014
Towards Verifying Safety Properties of Real-Time Probabilistic Systems
Fenglin Han
Jan Olaf Blech
Peter Michael Herrmann
og
Heinz Schmidt
Presentasjon
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
Om resultatet
Vitenskapelig foredrag
Publiseringsår: 2014
Beskrivelse
Beskrivelse
Engelsk
Tittel
Towards Verifying Safety Properties of Real-Time Probabilistic Systems
Bidragsytere
Bidragsytere
Fenglin Han
Forfatter
Forfatter
ved Institutt for informasjonssikkerhet og kommunikasjonsteknologi ved Norges teknisk-naturvitenskapelige universitet
Jan Olaf Blech
Forfatter
Forfatter
ved Royal Melbourne Institute of Technology (RMIT University)
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
Heinz Schmidt
Forfatter
Forfatter
ved Royal Melbourne Institute of Technology (RMIT University)
1
-
4
av
4