Probabilistic modal specifications (invited extended abstract)

Kim G. Larsen, Axel Legay*

*Kontaktforfatter

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Abstract

This extended abstract offers a brief survey presentation of the specification formalism of modal transition systems and its recent extensions to the stochastic setting.

OriginalsprogEngelsk
TitelLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Antal sider4
Vol/bind8348 LNCS
ForlagSpringer
Publikationsdato1 jan. 2014
Sider1-4
ISBN (Trykt)9783319076010
DOI
StatusUdgivet - 1 jan. 2014
BegivenhedThe 10th International Symposium on Formal Aspects of Component Software - Jiangxi Normal University, Nanchang, China, Nanchang, Kina
Varighed: 28 okt. 201330 okt. 2013
Konferencens nummer: 10

Konference

KonferenceThe 10th International Symposium on Formal Aspects of Component Software
Nummer10
LokationJiangxi Normal University, Nanchang, China
Land/OmrådeKina
ByNanchang
Periode28/10/201330/10/2013
NavnLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind8348 LNCS
ISSN0302-9743

Fingeraftryk

Dyk ned i forskningsemnerne om 'Probabilistic modal specifications (invited extended abstract)'. Sammen danner de et unikt fingeraftryk.

Citationsformater