Publicações

Learning Stochastic Timed Automata from Sample Executions

AuthID
P-008-73Q

Author(s)

De Matos Pedro, A

Crocker, PA

De Sousa, SM

Editor(es)

Tiziana Margaria; Bernhard Steffen

Tipo de Documento

Proceedings Paper

Year published

2012

Publicado

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 7609 LNCS, Número: PART 1, Páginas: 508-523

Conference

5Th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, Isola 2012, Date: 15 October 2012 through 18 October 2012, Location: Heraklion, Crete

Indexing