Browsing by Author "Cohrs, David L"
Now showing items 3-5 of 5
-
Specification and Verification of Network Managers for Large Internets
Cohrs, David L; Miller, Barton P (University of Wisconsin-Madison Department of Computer Sciences, 1989)Large internet environments are increasing the difficulty of network management. Integrating increasing numbers of autonomous subnetworks (each with an increasing number of hosts) makes it more difficult to determine if ... -
A Specification Language for Multi-Domain Network and Distributed Systems Management
Cohrs, David L (University of Wisconsin-Madison Department of Computer Sciences, 1991) -
Verification of Network Management System Configurations
Cohrs, David L; Miller, Barton P (University of Wisconsin-Madison Department of Computer Sciences, 1990)