2702 search results - page 181 / 541 » Practically Applicable Formal Methods |
106
click to vote
FMICS
2008
Springer
15 years 10 days ago
2008
Springer
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
105
click to vote
AGTIVE
2007
Springer
15 years 2 months ago
2007
Springer
Abstract. Since the systematic evolution of graph-like program models has become important in software engineering, graph transformation has gained much attention in this area. For...
111
Voted
CODES
2004
IEEE
15 years 2 months ago
2004
IEEE
In this paper, a novel method for high-level specification and validation of SoC designs using UML is proposed. UML is introduced as a formal model of specification for SoC design...
FORMATS
2009
Springer
15 years 2 months ago
2009
Springer
Abstract In this paper we focus on property-preserving preorders between timed game automata and their application to control of partially observable systems. We define timed weak ...
AFRIGRAPH
2001
ACM
15 years 2 months ago
2001
ACM
We present independent method to reduce the number of shadow ray tests. It can be used with standard acceleration ray tracing algorithms. Our method is conservative and produces t...