1521 search results - page 134 / 305 » On Sampled Semantics of Timed Systems |
101
click to vote
KBS
2006
2006
Facilitating formal specification acquisition by using recursive functions on context-free languages
14 years 10 months ago
Although formal specification techniques are very useful in software development, the acquisition of formal specification is a difficult task. This paper presents the formal softw...
ACSD
2009
IEEE
15 years 4 months ago
2009
IEEE
The synchronous programming paradigm simplifies the specification and verification of reactive systems. However, synchronous programs must be often implemented on architectures...
102
click to vote
ATVA
2007
Springer
15 years 4 months ago
2007
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models. The expected...
ISSS
2000
IEEE
15 years 2 months ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
LCTRTS
2001
Springer
15 years 2 months ago
2001
Springer
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...