FAUST2
Formal Abstractions of Uncountable-STate STochastic processes
Conference Paper
(2015)
Author(s)
S Esmaeil Zadeh Soudjani (TU Delft - Mechanical Engineering)
C. Gevaerts (External organisation)
A Abate (University of Oxford, TU Delft - Mechanical Engineering)
Research Group
Team Bart De Schutter
DOI related publication
https://doi.org/10.1007/978-3-662-46681-0_23
Final published version
To reference this document use
https://resolver.tudelft.nl/uuid:a4404b3b-fc85-48c7-b5e0-66b99c2e26e1
More Info
expand_more
expand_more
Publication Year
2015
Language
English
Research Group
Team Bart De Schutter
Pages (from-to)
272-286
Publisher
Springer
ISBN (print)
978-3-662-46680-3
Event
TACAS 2015: 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (2015-04-11 - 2015-04-18), London, United Kingdom
Downloads counter
150