1992 search results - page 101 / 399 » Model Based Testing with Labelled Transition Systems |
113
click to vote
CHARME
2003
Springer
15 years 8 months ago
2003
Springer
We consider the problem of bounded model checking of systems expressed in a decidable fragment of first-order logic. While model checking is not guaranteed to terminate for an ar...
133
click to vote
MDM
2001
Springer
15 years 7 months ago
2001
Springer
An system-level power management technique for massively distributed wireless microsensor networks is proposed. A power aware sensor node model is introduced which enables the embe...
138
click to vote
FSEN
2009
Springer
15 years 7 months ago
2009
Springer
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. Components are specified in rCOS, a relational calculus...
145
click to vote
RTCSA
1999
IEEE
15 years 7 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
112
click to vote
COMPSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—The pervasiveness of complex communication services and the need for end-users to play a greater role in developing communication services have resulted in the creation ...