3256 search results - page 1 / 652 » Applications of Formal Methods to System Design and Verifica... |
81
Voted
JUCS
2007
15 years 3 months ago
2007
103
Voted
FM
1999
Springer
15 years 7 months ago
1999
Springer
168
click to vote
TII
2008
15 years 3 months ago
2008
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
160
Voted
FORMATS
2007
Springer
15 years 7 months ago
2007
Springer
Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...
104
Voted
COMCOM
1999
15 years 3 months ago
1999