3765 search results - page 100 / 753 » Formal Methods for Systems Engineering Behavior Models |
110
click to vote
GECCO
2008
Springer
15 years 3 months ago
2008
Springer
Increasingly, high-assurance applications rely on autonomic systems to respond to changes in their environment. The inherent uncertainty present in the environment of autonomic sy...
114
click to vote
FSEN
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. A communication protocol consists of a sequence of messages used by peer entities to communicate. Each entity in a network is equipped by at least one protocol stack. Due...
108
click to vote
APSEC
2008
IEEE
15 years 4 months ago
2008
IEEE
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...
128
click to vote
VLSID
2003
IEEE
16 years 2 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
130
click to vote
DKE
1998
15 years 2 months ago
1998
This paper gives an overview about the development of the field of Knowledge Engineering over the last 15 years. We discuss the paradigm shift from a transfer view to a modeling v...