Formal Verification of Model Transformation Systems

CímFormal Verification of Model Transformation Systems
Közlemény típusaConference Paper
Kiadás éve2002
SzerzőkSalamon, G., Varró, D., and Pataricza, A.
Konferencia neveEDCC 2002: Fourth European Dependable Computing Conference: Fast Abstracts
Kiadás dátumaOctober 23–25
Konferencia helyszíneToulouse, France

Nyelvek

  • English
  • Magyar

Belépés

Navigáció