1501 search results - page 122 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
134
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
159
click to vote
AIRWEB
2008
Springer
15 years 6 months ago
2008
Springer
Online social media draws heavily on active reader participation, such as voting or rating of news stories, articles, or responses to a question. This user feedback is invaluable ...
131
click to vote
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The complexity of today's embedded systems and their development trajectories requires a systematic, model-driven design approach, supported by tooling wherever poss...
129
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
137
click to vote
RE
2010
Springer
14 years 11 months ago
2010
Springer
The impact of non-functional requirements (NFRs) over software systems has been widely documented. Consequently, cost-effective software production method shall provide means to in...