665 search results - page 33 / 133 » The Theory of Hybrid Automata |
CAV
2003
Springer
14 years 1 months ago
2003
Springer
STOC
1995
ACM
14 years 6 days ago
1995
ACM
TAPSOFT
1997
Springer
14 years 24 days ago
1997
Springer
Abstract. This paper presents a formalization of nite and in nite sequences in domain theory carried out in the theorem prover Isabelle. The results are used to model the metatheor...
FATES
2006
Springer
14 years 10 days ago
2006
Springer
Input-output conformance test theory for discrete systems has established itself in research and industry already. A couple of years ago also input-output conformance test theories...