469 search results - page 23 / 94 » Extended abstract: a race-free hardware modeling language |
ASPDAC
2010
ACM
14 years 9 months ago
2010
ACM
Abstract-- A generalized Hamiltonian method (GHM) was recently proposed for the passivity test of hybrid descriptor systems [1]. This paper extends the GHM theory to its S-paramete...
108
click to vote
ISOLA
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Service-oriented systems have recently emerged as context-independent component-based systems. Unlike components, services can be created, invoked, composed, and destroye...
DATE
2004
IEEE
15 years 3 months ago
2004
IEEE
This article presents an approach, which combines theorem proving-based refinement with model checking for state based real-time systems. Our verification flow starts from UML sta...
ACSD
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--Safety properties are an important class of properties as in the industrial use of model checking a large majority of the properties to be checked are safety properties. ...
ECMDAFA
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Today's graphical modelling languages, despite using symbols and connections, represent large model parts as structured text. We benefit from sophistic text editors,...