3765 search results - page 204 / 753 » Formal Methods for Systems Engineering Behavior Models |
192
click to vote
RTS
2006
15 years 6 months ago
2006
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
150
click to vote
FOSSACS
2003
Springer
15 years 11 months ago
2003
Springer
Lossy channel systems (LCS’s) are systems of finite state automata that communicate via unreliable unbounded fifo channels. We propose a new probabilistic model for these syste...
198
click to vote
KBSE
2007
IEEE
16 years 25 days ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...
159
click to vote
FMSB
2008
15 years 8 months ago
2008
In this work we develop a new technique for over-approximating (in the sense of timed trace inclusion) continuous dynamical systems by timed auThis technique refines commonly-used ...
184
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Bus protocols are hard to specify correctly, and yet it is often critical and highly beneficial that their specifications are correct, complete, and unambiguous. The informal speci...