Search Sciweavers | Sciweavers

5525 search results - page 2 / 1105

» Verification of Model Transformations

134

click to vote

RTCSA
2008
IEEE

111views Embedded Systems» more RTCSA 2008»

Verification of COMDES-II Systems Using UPPAAL with Model Transformation

15 years 9 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

15 years 7 months ago

Download www.inf.mit.bme.hu

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

claim paper

Read More »

108

click to vote

VTS
2000
IEEE

83views Hardware» more VTS 2000»

Using Arithmetic Transform for Verification of Datapath Circuits via Error Modeling

15 years 6 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

15 years 2 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

15 years 5 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers