ONTOLOGICAL APPROACH TO ORGANIZING SPECIFICATION PATTERNS IN THE FRAMEWORK OF SUPPORT SYSTEM FOR FORMAL VERIFICATION OF DISTRIBUTED PROGRAM SYSTEMS
Details
The content you want is available to Zendy users.Already have an account? Click here. to sign in.