Formal specification and analysis of functional properties of graph rewriting-based model transformation
- 期刊名称Software Testing, Verification and Reliability
- 作者Asztalos, Márk; Lengyel, László; Levendovszky, Tihamér
- 卷第23卷
- 期第5期
- 印刷ISSN0960-0833
- 文件大小8742.14KB
- 发表时间2013-08
- DOI10.1002/stvr.1502
- 页码405-435
同期刊推荐
Preconditioning in regenerative medicine: AUTHORS' RETROSPECTIVEPasha, Z.; Ashraf, M. · Cardiovascular Research · 2012
Mechanoelectric contributions to sudden cardiac deathBabuty, D · Cardiovascular Research · 2001
Pulsus alternansLab, M. J; Seed, W A. · Cardiovascular Research · 1993
Growth factors and angiogenesisSchott, R. J; Morrow, L. A · Cardiovascular Research · 1993
Welcome AddressCardiovascular Research · 2012
The inflammatory response in myocardial infarctionFrangogiannis, N · Cardiovascular Research · 2002
Flow in branching vesselsBRECH, R.; BELLHOUSE, B. J. · Cardiovascular Research · 1973
Molecular determinants of cardiac specificationLopez-Sanchez, C.; Garcia-Martinez, V. · Cardiovascular Research · 2011