|
SEFM 2019
Software Engineering and Formal Methods
|
|
ACM--ICCAI--Ei Compendex, Scopus 2019
ACM--2019 5th International Conference on Computing and Artificial Intelligence (ICCAI 2019)--Ei Compendex, Scopus
|
|
SEFM 2019
17th International Conference on Software Engineering and Formal Methods
|
|
ASE 2019
Automated Software Engineering
|
|
ATVA 2019
International Symposium on Automated Technology for Verification and Analysis
|
|
EI-CSECI 2019
2019 International Conference on Software Engineering and Computational Intelligence (CSECI 2019)
|
|
IEEE-TEM 2019
IEEE Transactions on Engineering Management: Special Issue Smart Services and Software Platforms
|
|
MoWIN 2019
8th International Conference on Mobile & Wireless Networks
|
|
SSCI 2019
The 2019 IEEE Symposium Series on Computational Intelligence
|
|
GridCom 2019
11th International Conference on Grid Computing
|
