3799 search results - page 14 / 760 » An Engineering Approach to Formal Methods |
91
Voted
FM
1999
Springer
15 years 6 months ago
1999
Springer
SAS
1997
Springer
15 years 6 months ago
1997
Springer
91
Voted
EUROMICRO
2000
IEEE
15 years 6 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
148
click to vote
SAC
2008
ACM
15 years 1 months ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
95
Voted
ICFEM
2004
Springer
15 years 7 months ago
2004
Springer