3765 search results - page 135 / 753 » Formal Methods for Systems Engineering Behavior Models |
133
Voted
DSVIS
1998
Springer
15 years 6 months ago
1998
Springer
: We have experienced the B Method on a case study which was defined by the French working group on formalisms for interactive systems, i.e. a Post-It
101
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...
113
Voted
ISIM
2007
15 years 4 months ago
2007
The proposed approach called Topological Functioning Modeling for Model Driven Architecture (TFMfMDA) uses formal mathematical foundations of Topological Functioning Model. It intr...
107
click to vote
ICCAD
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, we propose a new architecture-level parameterized transient thermal behavioral modeling algorithm for emerging thermal related design and optimization problems for ...
137
Voted
SAC
2004
ACM
15 years 8 months ago
2004
ACM
Information requirements analysis for data warehouse systems differs significantly from requirements analysis for conventional information systems. Based on interviews with projec...