10159 search results - page 373 / 2032 » System Design Validation Using Formal Models |
132
click to vote
HYBRID
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...
146
click to vote
CSSE
2008
IEEE
15 years 5 months ago
2008
IEEE
: The traditional transportation information inquiry mainly uses key words based on the text, and the service the inquiry system provided is onefold and only aims at one transporti...
151
Voted
DOLAP
2006
ACM
15 years 10 months ago
2006
ACM
Decision support systems (DSS) may be enhanced qualitatively if they are able to also deal with spatial dimensions and measures. Regardless the evident importance of using data wa...
134
Voted
KES
1999
Springer
15 years 8 months ago
1999
Springer
A shape specification system based on fuzzy logic is proposed, which aims to facilitate designers in conceptual design stage by allowing them to specify and work with rough models...
127
click to vote
LICS
1996
IEEE
15 years 8 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...