|
FACS 2018
15th International Conference on Formal Aspects of Component Software
|
|
ISCSAI 2018
2018 International Symposium on Computer Science and Artificial Intelligence
|
|
SA-TTA @SAC 2019
The 7th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 34rd ACM/SIGAPP Symposium On Applied Computing (SAC 2019)
|
|
SIPRO 2019
5th International Conference on Signal and Image Processing
|
|
STACS 2019
36th International Symposium on Theoretical Aspects of Computer Science
|
|
IJWesT 2018
International Journal of Web & Semantic Technology
|
|
FACJ-SI-Robotics 2019
Special Issue on Formal Methods for Robotics, Formal Aspects of Computing (FACJ)
|
|
IJCSITCE 2018
The International Journal of Computational Science, Information Technology and Control Engineering
|
|
FormaliSE 2019
7th International Conference on Formal Methods in Software Engineering
|
|
PaTAISC 2018
Workshop on Practical and Theoretical Aspects of Information Security and Cryptology
|
