3256 search results - page 87 / 652 » Applications of Formal Methods to System Design and Verifica... |
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
OperettA is a graphical tool that supports the design, verification and simulation of OperA models. It ensures consistency between different design parts, provides a formal specif...
114
click to vote
WOA
2010
14 years 9 months ago
2010
Abstract. This is a position paper reporting the motivations, the starting point and the guidelines that characterise the MERCURIO5 project proposal, submitted to MIUR PRIN 20096 ....
ECBS
1996
IEEE
15 years 4 months ago
1996
IEEE
It is widely recognized that real-time,fault-tolerant and distributed computing technologies play a key role in the deployment of many current andfuture (civilian or Defense) crit...
FLAIRS
2009
14 years 9 months ago
2009
Recently, the development of distributed knowledge systems has become more attractive due to the existence of new social semantic applications such as semantic knowledge wikis. Us...
FM
2006
Springer
15 years 3 months ago
2006
Springer
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...