Formal Techniques for Distributed Systems

Formal Techniques for Distributed Systems
Details
- OL Work ID
- OL16947596W
Subjects
Logic designComputer networksComputer scienceSoftware engineeringElectronic data processingCongressesDistributed processingObject-oriented programming (Computer science)Formal methods (Computer science)RechnernetzKongressSoftwarespezifikationFormale SpezifikationstechnikSoftwareTestenFormale MethodeVerteiltes SystemElectronic data processing, distributed processing