673 search results - page 4 / 135 » A Model Checker for AADL |
ICECCS
2009
IEEE
14 years 4 months ago
2009
IEEE
IPPS
2006
IEEE
14 years 3 months ago
2006
IEEE
ICECCS
2009
IEEE
13 years 7 months ago
2009
IEEE
IJSEKE
2011
13 years 1 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...
IEEECIT
2010
IEEE
13 years 8 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...