3765 search results - page 315 / 753 » Formal Methods for Systems Engineering Behavior Models |
213
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
181
click to vote
ICFEM
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
194
click to vote
CA
2002
IEEE
15 years 11 months ago
2002
IEEE
Animated characters may exhibit several kinds of dynamic intelligence when performing low-level navigation (i.e., navigation on a local perceptual scale): They decide among differ...
160
click to vote
ATAL
2007
Springer
16 years 27 days ago
2007
Springer
We propose an extension of alternating-time temporal logic, that can be used for reasoning about the behavior and abilities of agents under various rationality assumptions. Catego...
217
click to vote
SEKE
2010
Springer
15 years 5 months ago
2010
Springer
—The behavior of complex production automation systems is hard to predict, therefore simulation is used to study the likely system behavior. However, in a real-world system many ...