3765 search results - page 29 / 753 » Formal Methods for Systems Engineering Behavior Models |
ROBOCUP
2009
Springer
14 years 3 months ago
2009
Springer
The high-level decision making process of an autonomous robot can be seen as an hierarchically organised entity, where strategical decisions are made on the topmost layer, while th...
HASE
2008
IEEE
14 years 3 months ago
2008
IEEE
A high assurance system requires both functional and nonfunctional correctness before the system is put into operation. To examine whether a system’s actual performance complies...
EUROMICRO
1996
IEEE
14 years 24 days ago
1996
IEEE
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
DAGSTUHL
2007
13 years 10 months ago
2007
The purpose is to explore how norm-governed behavior within agent societies can be achieved in the context of Virtual Enterprises. We analyze a number of formal models from the age...