Analyzing Oscillatory Behavior with Formal Methods

From MaRDI portal
Revision as of 20:15, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:2937728

DOI10.1007/978-3-662-45489-3_1zbMath1427.92016OpenAlexW110623191MaRDI QIDQ2937728

Thilo Krüger, Alexander Andreychenko, David Spieler

Publication date: 12 January 2015

Published in: Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-45489-3_1




Related Items (1)


Uses Software



Cites Work




This page was built for publication: Analyzing Oscillatory Behavior with Formal Methods