posted by organizer: xingdoudou || 2896 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

FORTE 2022   42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems
FMICS 2022   International Conference on Formal Methods for Industrial Critical Systems
DisCoTec - 2022   17th International Federated Conference on Distributed Computing Techniques
MDPI-Electronics-SI-QualRiskDistribSys 2022   MDPI Electronics Special Issue on Quality Assurance and Risk Mitigation in Large-Scale Distributed Systems
SECURWARE 2022   International Conference on Emerging Security Information, Systems and Technologies
FORMATS 2022   Formal Modeling and Analysis of Timed Systems
NETYS 2022   NETYS 2022 : THE 10th INTERNATIONAL CONFERENCE ON NETWORKED SYSTEMS
COORDINATION 2022   24th International Conference on Coordination Models and Languages
SEIM 2022   Seventh Conference on Software Engineering and Information Management
Petri Nets 2022   43rd International Conference on Application and Theory of Petri Nets and Concurrency