59

Formal Proof of a Machine Closed Theorem in Coq

Year:
2014
Language:
english
File:
PDF, 242 KB
english, 2014
61

Automata-Based Analysis of Stage Suspended Boom Systems

Year:
2013
Language:
english
File:
PDF, 1007 KB
english, 2013
63

Semi-modular delay model revisited in context of relative timing

Year:
2015
Language:
english
File:
PDF, 211 KB
english, 2015
92

Approximate Equivalence of the Hybrid Automata with Taylor Theory

Year:
2014
Language:
english
File:
PDF, 1.92 MB
english, 2014