scientific article; zbMATH DE number 2086950

zbMATH Open1057.68628MaRDI QIDQ4737558FDOQ4737558

Authors: Shmuel Katz, Orna Grumberg 

Publication date: 11 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2335/23350145.htm

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1693441
• scientific article; zbMATH DE number 2102668
• A framework for model transformation verification
• Data model descriptions and translation signatures in a multi-model framework
• Reasoning on Data Models in Schema Translation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (6)

• Traceability between models and texts through terminology
• Data model descriptions and translation signatures in a multi-model framework
• Reasoning on Data Models in Schema Translation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets

Uses Software

• LOTOS
• PVS
• Java PathFinder
• Bandera

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4737558)