|
|||||
|
|
VeriTech: a framework for translating among model description notations |
|
| Authors: | Orna Grumberg Shmuel Katz |
| Affiliation: | (1) Computer Science Department, The Technion, Haifa, Israel |
| Abstract: | |
| Keywords: | Translating model notations Incompatibilities in translations Faithful translations Additional information about translations |
| 本文献已被 SpringerLink 等数据库收录！ | |