posted by organizer: xingdoudou || 2462 views || tracked by 4 users: [display]

FORTE 2017 : Formal Techniques for (Networked and) Distributed Systems

FacebookTwitterLinkedInGoogle


Conference Series : Formal Techniques for (Networked and) Distributed Systems
 
 
When Mar 30, 2015 - Jan 30, 2018
Where shanghai, China
Submission Deadline TBD
 

Call For Papers

[Empty]

Related Resources

FMAS 2021   Third Workshop on Formal Methods for Autonomous Systems
FM 2021   Formal Methods 2021
MLNLP 2021   2nd International Conference on Machine Learning Techniques and NLP
SNPD 2021   22nd IEEE/ACIS International Summer Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
ICSRS--Scopus & EI Compendex 2021   2021 5th International Conference on System Reliability and Safety (ICSRS 2021)--Scopus & EI Compendex
WAISE 2021   4th International Workshop on Artificial Intelligence Safety Engineering
IJAD 2021   International Journal of Advanced Dermatology
UVS-Oman 2022   The 2nd International Conference on Unmanned Vehicle Systems (UVS-Oman 2022) - IEEE
AICCC--EI, Scopus 2021   2021 4th Artificial Intelligence and Cloud Computing Conference (AICCC 2021)--EI Compendex, Scopus
IJDPS 2021   International Journal of Distributed and Parallel systems