6796 search results - page 290 / 1360 » Java for Embedded Systems |
102
Voted
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
137
click to vote
DSD
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...