|
|||||
|
|
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2019 |
|
| Authors: | Vojnar Tomáš Zhang Lijun |
| Affiliation: | 1.Faculty of Information Technology, Brno University of Technology, Božetěchova 2, 612 66, Brno, Czech Republic ;2.State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, South Fourth Street 4, Zhong Guan Cun, Beijing, 100190, China ; |
| Abstract: | International Journal on Software Tools for Technology Transfer - Automated techniques and tools for the construction and analysis of systems are inevitable to manage the complexity of the current... |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |