×

Found 5 Documents (Results 1–5)

Newest Citations Relevance
Zhan, Naijun; Wang, Shuling; Zhao, Hengjun

Formal modelling, analysis and verification of hybrid systems. (English) Zbl 1444.68105

Liu, Zhiming (ed.) et al., Unifying theories of programming and formal engineering methods. International training school on software engineering, held at ICTAC 2013, Shanghai, China, August 26–30, 2013. Advanced lectures. Berlin: Springer. Lect. Notes Comput. Sci. 8050, 207-281 (2013).
MSC:  68Q60 03B70 68V15 93C30
Cite Review PDF
Full Text: DOI
Platzer, André

Stochastic differential dynamic logic for stochastic hybrid programs. (English) Zbl 1341.68030

Bjørner, Nikolaj (ed.) et al., Automated deduction – CADE-23. 23rd international conference on automated deduction, Wrocław, Poland, July 31 – August 5, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22437-9/pbk; 978-3-642-22438-6/ebook). Lecture Notes in Computer Science 6803. Lecture Notes in Artificial Intelligence, 446-460 (2011).
MSC:  68N30 03B70
Cite Review PDF
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

Year of Publication

Main Field

all top 3

Software