3765 search results - page 242 / 753 » Formal Methods for Systems Engineering Behavior Models |
175
click to vote
WSC
2004
15 years 8 months ago
2004
Hierarchical production planning provides a formal bridge between long-term plans and short-term schedules. A hybrid simulation-based production planning architecture consisting o...
156
click to vote
WSC
2007
15 years 9 months ago
2007
Simulation languages and the GUIs supporting them may be excellent tools for creating simulation codes, but are not necessarily the best tools to use for creating descriptions of ...
152
click to vote
ISVLSI
2007
IEEE
16 years 27 days ago
2007
IEEE
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...
201
click to vote
RSP
2007
IEEE
16 years 27 days ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
152
click to vote
APSEC
2000
IEEE
15 years 10 months ago
2000
IEEE
SOFL is a formal language and method for system specification and design. As a language it is an integration of Petri nets, Data Flow Diagrams, and VDM-SL. As a method it is a com...