746 search results - page 4 / 150 » Formal Analysis of UML-Based Designs |
145
Voted
TACAS
1998
Springer
15 years 7 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
117
Voted
FMOODS
2007
15 years 5 months ago
2007
Rewriting logic provides a powerful, flexible mechanism for language definition and analysis. This flexibility in design can lead to problems during analysis, as different desi...
127
Voted
FDL
2008
IEEE
15 years 3 months ago
2008
IEEE
Digital television (DTV) is an advanced broadcasting technology that is spreading fast today. It gives broadcasters the capability to send programs with a better picture and sound ...
93
Voted
FASE
2001
Springer
15 years 8 months ago
2001
Springer
90
Voted
ICSOFT
2008
15 years 5 months ago
2008
