1992 search results - page 151 / 399 » Model Based Testing with Labelled Transition Systems |
124
click to vote
DATE
2000
IEEE
15 years 8 months ago
2000
IEEE
We integrate data and control flow at the system specification level, using the two specialized and well established languages Matlab and SDL. For this we provide a modeling techn...
157
Voted
ROOM
2000
15 years 4 months ago
2000
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...
142
Voted
ISSRE
2010
IEEE
15 years 1 months ago
2010
IEEE
—Architecture-based software reliability analysis methods shall help software architects to identify critical software components and to quantify their influence on the system r...
149
click to vote
AIPS
2008
15 years 5 months ago
2008
As no plan can cover all possible contingencies, the ability to detect failures during plan execution is crucial to the robustness of any autonomous system operating in a dynamic ...
120
Voted
JSAC
2006
15 years 3 months ago
2006
A communication system based on transmit-reference (TR) ultra-wideband (UWB) is studied and further developed. Introduced by Hoctor and Tomlinson, the aim of the TR-UWB transceiver...