673 search results - page 4 / 135 » A Model Checker for AADL |
ICECCS
2009
IEEE
15 years 10 months ago
2009
IEEE
98
Voted
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
107
Voted
ICECCS
2009
IEEE
15 years 1 months ago
2009
IEEE
167
Voted
IJSEKE
2011
14 years 6 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
120
click to vote
IEEECIT
2010
IEEE
15 years 2 months ago
2010
IEEE
This article focuses on the essence and distinctive features of the AADL behavioral aspects, for which we use the code generation infrastructure of the synchronous modeling enviro...