295 search results - page 1 / 59 » Syntactic Abstraction in Component Interfaces |
GPCE
2005
Springer
13 years 10 months ago
2005
Springer
WSC
2007
13 years 7 months ago
2007
Using models in different contexts poses major integration challenges, ranging from technical to conceptual levels. Independently of each other developed model components cannot b...
ETFA
2005
IEEE
13 years 10 months ago
2005
IEEE
Abstract – Plug-and-play is an important mechanism for achieving component integration and improving interoperability in smart transducer systems. While recent research in smart ...
TOOLS
2008
IEEE
13 years 11 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
CAV
2010
Springer
13 years 8 months ago
2010
Springer
elor Thesis: Demand Driven Abstraction Refinement • Advisor: Dr. Andrey Rybalchenko Kendriya Vidyalaya ONGC, Dehradun, Uttaranchal INDIA All India Senior Secondary Examination, ...