4693 search results - page 187 / 939 » Verifying Hybrid Systems |
162
click to vote
CLEF
2011
Springer
14 years 5 months ago
2011
Springer
The article presents the experiments carried out as part of the
131
click to vote
FSS
2002
15 years 5 months ago
2002
Hybrid neuro-fuzzy systems have been in evidence during the past few years, due to its attractive combination of the learning capacity of arti
137
click to vote
CORR
2006
Springer
15 years 5 months ago
2006
Springer
We are interested in verifying dynamic properties of finite state reactive systems under fairness assumptions by model checking. The systems we want to verify are specified throug...
155
click to vote
CASES
2003
ACM
15 years 10 months ago
2003
ACM
Knowing the Worst-Case Execution Time (WCET) of a program is necessary when designing and verifying real-time systems. A correct WCET analysis method must take into account the po...