vix.ing
·
top
·
new
·
best
·
stats
·
spec
Dejanira Araiza-Illan
Formal Verification of Control Systems Properties with Theorem Proving
2014/05/29 by
Dejanira Araiza-Illan
,
Kerstin Eder
,
Arthur Richards
· 1 voice
Engineering
·
Computer Science
·
#eess.SY
#cs.LO