Publication | Closed Access
Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29- June 2, 1989 Proceedings
26
Citations
0
References
1990
Year
Formal SpecificationEngineeringStepwise RefinementRex WorkshopFormal ModelingVerificationFormal MethodsDistributed EnvironmentSystems EngineeringDistributed SystemsComputer ScienceDistributed ModelFormal VerificationSystem Specification
No additional data available for this publication yet. Check back later!