3765 search results - page 254 / 753 » Formal Methods for Systems Engineering Behavior Models |
145
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. A technique for elegantly expressing In-lined Reference Monitor (IRM) certification as model-checking is presented and implemented. In-lined Reference Monitors (IRM'...
174
click to vote
RTAS
2007
IEEE
16 years 27 days ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
188
click to vote
CCE
2005
15 years 6 months ago
2005
In practical system identification, process optimization and controller design, it is often desirable to simultaneously handle several objectives and constraints. In some cases, t...
170
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
The agent-oriented modeling process is divided in a typical sequence of activities, i.e., requirements specification, analysis, and design. The requirements are specified by des...
168
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The complexity of today's embedded systems and their development trajectories requires a systematic, model-driven design approach, supported by tooling wherever poss...