3765 search results - page 342 / 753 » Formal Methods for Systems Engineering Behavior Models |
148
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
212
click to vote
FEDCSIS
2011
14 years 6 months ago
2011
—Nowadays, embedded systems are widely used. It is extremely difficult to analyze safety issues in embedded systems, to relate the safety analysis results to the actual parts, a...
169
click to vote
HPDC
2003
IEEE
16 years 1 days ago
2003
IEEE
Dynamic, heterogenous and distributively owned resource environments present unique challenges to the problems of resource representation, allocation and management. Conventional ...
195
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
189
click to vote
CBSE
2008
Springer
15 years 8 months ago
2008
Springer
Component based development of software systems needs to devise effective test management strategies in order fully achieve its perceived advantages of cost efficiency, flexibility...