3765 search results - page 219 / 753 » Formal Methods for Systems Engineering Behavior Models |
131
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Sampled semantics of timed automata is a nite approximation of their dense time behavior. While the former is closer to the actual software or hardware systems ed granularity of ti...
172
click to vote
ICCAD
2007
IEEE
16 years 3 months ago
2007
IEEE
— Computing counterexamples is a crucial task for error diagnosis and debugging of sequential systems. If an implementation does not fulfill its specification, counterexamples ...
205
click to vote
KI
2002
Springer
15 years 6 months ago
2002
Springer
While empirical evaluations are a common research method in some areas of Artificial Intelligence (AI), others still neglect this approach. This article outlines both the opportun...
167
click to vote
ICSEA
2006
IEEE
16 years 19 days ago
2006
IEEE
A modeling process is presented for extracting timingaccurate simulation models from complex embedded realtime systems. The process is supported by two complementary methods for t...
206
click to vote
ADBIS
2010
Springer
15 years 6 months ago
2010
Springer
The problem of designing suitable conceptual modeling languages for system engineering is far from being solved. In the past years, some works have proposed the use of foundational...