170 search results - page 22 / 34 » ProMoSA - Probabilistic Models for Safety Analysis |
150
Voted
CADE
2004
Springer
16 years 4 months ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
137
Voted
HASE
2007
IEEE
15 years 7 months ago
2007
IEEE
Embedded systems are used for critical applications that must adhere to safety constraints. Developers of these systems face three key challenges when attempting to apply existing...
133
Voted
DBPL
2007
Springer
15 years 7 months ago
2007
Springer
Traditionally, infinite databases were studied as a data model for queries that may contain function symbols (since functions may be expressed as infinite relations). Recently, th...
119
Voted
ECLIPSE
2007
ACM
15 years 7 months ago
2007
ACM
In this paper we detail the design and implementation of an Eclipse plug-in that supports construction, analysis and elaboration of Modal Transition Systems. The plug-in supports ...
146
Voted
VIS
2004
IEEE
16 years 4 months ago
2004
IEEE
Virtual prototyping is increasingly replacing real mock-ups and experiments in industrial product development. Part of this process is the simulation of structural and functional ...