Formal Modeling in a Commercial Setting: A Case Study

What this record says

This paper describes a case study conducted in collaboration with Nortel to demonstrate the feasibility of applying formal modeling techniques

CATALOG · The abstract is indexed.