|
IPDPS 2018
32nd IEEE International Parallel and Distributed Processing Symposium
|
|
ATVA 2018
International Symposium on Automated Technology for Verification and Analysis
|
|
SCSSS 2018
6th Scandinavian Conference System and Software Safety
|
|
SSCI 2019
The 2019 IEEE Symposium Series on Computational Intelligence
|
|
AITIJ 2018
Advances in Interconnect Technologies: An International Journal
|
|
ICRA 2019
IEEE International Conference on Robotics and Automation
|
|
GPCE 2018
International Conference on Generative Programming: Concepts & Experience
|
|
ICFEM 2018
20TH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS
|
|
ICSC 2019
IEEE International conference on semantic computing
|
