10159 search results - page 239 / 2032 » System Design Validation Using Formal Models |
107
click to vote
ISCAS
2005
IEEE
15 years 8 months ago
2005
IEEE
—The present work describes the analysis, modeling and control of a transformerless Boost-Buck power inverter used as a DC-AC power conditioning stage for grid-connected photovol...
134
click to vote
INTERACT
2003
15 years 4 months ago
2003
Abstract: Representing the behaviour of multimodal interactive systems in a complete, concise and nonambiguous way is still a challenge for formal description techniques. Indeed, m...
128
click to vote
FMCAD
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
110
click to vote
RTAS
1998
IEEE
15 years 7 months ago
1998
IEEE
In this paper we report the work carried out at VERIMAG 1 within the framework of an research cooperation with CNET 2 . The goal of this work was twofold: to formally specify the ...
145
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: Pseudomonas aeruginosa, an opportunistic pathogen, is often encountered in chronic lung diseases such as cystic fibrosis or chronic obstructive pneumonia, as well as a...