Search filters

Formal verification of control systems' properties with theorem proving

Image Image of a generic work. The text above it indicates that there is no free image of the work available, and that if you own one, you can click on the placeholder link to upload it.
Description
Author/s

author: Kerstin Eder  Dejanira Araiza-Illan  Arthur Richards 

Publication date July 2014
Language
Country of origin
Wikipedia link
Access work

https://archive.org/details/arxiv-1405.7615
Copyright status
Missing/wrong data? Edit Wikidata item

Paulina is supported by:

About Paulina

Help