Mathematical Model Transformations for System Verification

CímMathematical Model Transformations for System Verification
Közlemény típusaMiscellaneous
Kiadás éve2001
SzerzőkVarró, D., and Pataricza, A.
Kiadás dátumaMay
KiadóBudapest University of Technology and Economics
Kiadás nyelveeng
URLhttp://www.inf.mit.bme.hu/FTSRG/Publications/varro/2001/TR-05-2001.pdf