665 search results - page 33 / 133 » The Theory of Hybrid Automata |
59
Voted
CAV
2003
Springer
15 years 5 months ago
2003
Springer
74
Voted
STOC
1995
ACM
15 years 3 months ago
1995
ACM
TAPSOFT
1997
Springer
15 years 3 months 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
15 years 3 months 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...