MODE: a Development Environment for Managed Objects based on Formal Methods

Publisher Website

1 January 1995

book chapter
Published by Springer Nature

p. 616-628
https://doi.org/10.1007/978-0-387-34890-2_52

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

Management of virtual private networks for integrated broadband communication
Published by Association for Computing Machinery (ACM) ,1993
Protocol engineering
Published by Springer Nature ,1992