4340 search results - page 133 / 868 » Formal Methods and Cryptography |
168
click to vote
RTCSA
1997
IEEE
15 years 8 months ago
1997
IEEE
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
138
click to vote
FORMATS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We apply three different modeling frameworks -- timed automata (Uppaal), colored Petri nets and synchronous data flow -- to model a challenging industrial case study that...
133
click to vote
FATES
2004
Springer
15 years 9 months ago
2004
Springer
A Time Action Lock is a state of a Real-time system at which neither time can progress nor an action can occur. Time Action Locks are often seen as signs of errors in the model or ...
121
click to vote
ACL
2003
15 years 5 months ago
2003
We present a novel approach for finding discontinuities that outperforms previously published results on this task. Rather than using a deeper grammar formalism, our system combi...
131
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
This paper describes an approach for reusing specification patterns. Specification patterns are design patterns that are expressed in a formal specification language. Reusing a spe...