5525 search results - page 271 / 1105 » Verification of Model Transformations |
177
click to vote
GG
2008
Springer
15 years 6 months ago
2008
Springer
Graph Languages1 emerged during the seventies from the necessity to process data structures with complex interrelations. Nowadays, various variants of these languages can be found...
106
Voted
ISCAS
2007
IEEE
15 years 11 months ago
2007
IEEE
Experimental verification of noise models is one of the major challenges in noise modeling. A circuit-based noise characterization technique is introduced which uses phase noise me...
158
click to vote
CMSB
2006
Springer
15 years 8 months ago
2006
Springer
Genetic regulatory networks have been modeled as discrete transition systems by many approaches, benefiting from a large number of formal verification algorithms available for the ...
179
click to vote
ATVA
2008
Springer
15 years 7 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
122
Voted
ICCD
2007
IEEE
15 years 9 months ago
2007
IEEE
Transaction-level modeling (TLM) allows a designer to save functional verification effort during the modular refinement of an SoC by reusing the prior implementation of a module a...