2702 search results - page 243 / 541 » Practically Applicable Formal Methods |
98
Voted
FORMATS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We present a systematic translation from timed models of genetic regulatory networks into products of timed automata to which one can apply verification tools in order l...
118
Voted
MKM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We explore mathematical knowledge in the field of electrical engineering and claim that electrical engineering is a suitable area of application for mathematical knowled...
121
Voted
ICECCS
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper formalizes the notion of a design model structurally conforming to a design pattern by representing the model as a logic program whilst the pattern as a query. The conf...
125
click to vote
ISOLA
2004
Springer
15 years 7 months ago
2004
Springer
The article is concerned with an approach to model based test development for large software systems. The approach presented is a part of UniTesK test development technology, which...
125
click to vote
SFM
2004
Springer
15 years 7 months ago
2004
Springer
We treat theory and application of timed process algebra. We focus on a variant that uses explicit termination and action prefixing. This variant has some advantages over other va...