Search Sciweavers | Sciweavers

5525 search results - page 2 / 1105

» Verification of Model Transformations

166

click to vote

RTCSA
2008
IEEE

111views Embedded Systems» more RTCSA 2008»

Verification of COMDES-II Systems Using UPPAAL with Model Transformation

16 years 7 days 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 »

111

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 10 months ago

Download www.inf.mit.bme.hu

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

claim paper

Read More »

139

click to vote

VTS
2000
IEEE

83views Hardware» more VTS 2000»

Using Arithmetic Transform for Verification of Datapath Circuits via Error Modeling

15 years 9 months ago

Download www.iml.ece.mcgill.ca

Katarzyna Radecka, Zeljko Zilic

claim paper

Read More »

115

Voted

IJPP
2006

75views more IJPP 2006»

Verification of System Level Model Transformations

15 years 5 months ago

Download www.cecs.uci.edu

Samar Abdi, Daniel Gajski

claim paper

Read More »

113

Voted

ECEASST
2010

91views Computer Vision» more ECEASST 2010»

Verification of Model Transformations

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers