International Conference on Distributed Computing Systems and Techniques ICDCST on April 19-20, 2024 in Paris, France

Submit Your Paper
International Conference on Distributed Computing Systems and Techniques (ICDCST) April 19, 2024 - Paris, France
Distributed Computing Systems and Techniques
Languages and semantic foundations: new modeling and language concepts for distribution and concurrency, semantics for different types of languages, including programming languages, modeling languages, and domain-specific languages; real-time and probability aspects
Formal methods and techniques: design, specification, analysis, verification, validation, testing and runtime verification of various types of distributed systems including communications and network protocols, service-oriented systems, adaptive distributed systems, cyber-physical systems and sensor networks
Foundations of security: new principles for qualitative and quantitative security analysis of distributed systems, including formal models based on probabilistic concepts
Applications of formal methods: applying formal methods and techniques for studying quality, reliability, availability, and safety of distributed systems
Practical experience with formal methods: industrial applications, case studies and software tools for applying formal methods and description techniques to the development and analysis of real distributed systems

Name: World Academy of Science, Engineering and Technology
Website: https://waset.org/
Address: UAE

World Academy of Science, Engineering and Technology is a federated organization dedicated to bringing together a significant number of diverse scholarly events for presentation within the conference program.