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.
Originalsprog | Engelsk |
---|---|
Titel | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Antal sider | 4 |
Vol/bind | 8348 LNCS |
Forlag | Springer |
Publikationsdato | 1 jan. 2014 |
Sider | 1-4 |
ISBN (Trykt) | 9783319076010 |
DOI | |
Status | Udgivet - 1 jan. 2014 |
Begivenhed | The 10th International Symposium on Formal Aspects of Component Software - Jiangxi Normal University, Nanchang, China, Nanchang, Kina Varighed: 28 okt. 2013 → 30 okt. 2013 Konferencens nummer: 10 |
Konference
Konference | The 10th International Symposium on Formal Aspects of Component Software |
---|---|
Nummer | 10 |
Lokation | Jiangxi Normal University, Nanchang, China |
Land/Område | Kina |
By | Nanchang |
Periode | 28/10/2013 → 30/10/2013 |
Navn | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Vol/bind | 8348 LNCS |
ISSN | 0302-9743 |