4693 search results - page 45 / 939 » Verifying Hybrid Systems |
122
click to vote
WOA
2010
14 years 10 months ago
2010
Abstract. This is a position paper reporting the motivations, the starting point and the guidelines that characterise the MERCURIO5 project proposal, submitted to MIUR PRIN 20096 ....
215
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
NDSS
2008
IEEE
15 years 7 months ago
2008
IEEE
88
Voted
WISTP
2007
Springer
15 years 6 months ago
2007
Springer
104
Voted
ICFEM
2004
Springer
15 years 5 months ago
2004
Springer
d Abstract) Carsten Sinz and Wolfgang K¨uchlin Symbolic Computation Group, WSI for Computer Science, University of T¨ubingen and Steinbeis Technology Transfer Center OIT, 72076 T...