Search Sciweavers | Sciweavers

5525 search results - page 2 / 1105

» Verification of Model Transformations

click to vote

RTCSA
2008
IEEE

111views Embedded Systems» more RTCSA 2008»

Verification of COMDES-II Systems Using UPPAAL with Model Transformation

14 years 1 months ago

Download www.mrtc.mdh.se

COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...

Xu Ke, Paul Pettersson, Krzysztof Sierszecki, Chri...

claim paper

Read More »

click to vote

KBSE
2002
IEEE

126views Software Engineering» more KBSE 2002»

VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models

14 years 10 days ago

Download www.inf.mit.bme.hu

György Csertán, Gábor Huszerl, ...

claim paper

Read More »

click to vote

VTS
2000
IEEE

83views Hardware» more VTS 2000»

Using Arithmetic Transform for Verification of Datapath Circuits via Error Modeling

13 years 11 months ago

Download www.iml.ece.mcgill.ca

Katarzyna Radecka, Zeljko Zilic

claim paper

Read More »

click to vote

IJPP
2006

75views more IJPP 2006»

Verification of System Level Model Transformations

13 years 7 months ago

Download www.cecs.uci.edu

Samar Abdi, Daniel Gajski

claim paper

Read More »

click to vote

ECEASST
2010

91views Computer Vision» more ECEASST 2010»

Verification of Model Transformations

13 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers