410 search results - page 43 / 82 » Tools for System Validation with B Abstract Machines |
112
Voted
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
123
Voted
RSCTC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Acute abdominal pain in childhood is a common but diagnostically challenging problem facing Emergency Department personnel. Experienced physicians use a combination of ke...
130
click to vote
ICRA
2002
IEEE
15 years 8 months ago
2002
IEEE
Abstract— This paper presents some recent developments of the LAAS architecture for autonomous mobile robots. In particular, we specify the role of the Execution Control level of...
184
click to vote
AGTIVE
2007
Springer
15 years 7 months ago
2007
Springer
Meta-modeling is well known to define the basic concepts of domain-specific languages in an object-oriented way. Based on graph transformation, an abstract meta-model may be enhanc...
161
Voted
ESORICS
2002
Springer
16 years 3 months ago
2002
Springer
Resource security pertains to the prevention of unauthorized usage of system resources that may not directly cause corruption or leakage of information. A common breach of resource...