A Reflective Framework for Formal Interoperability
Investigators
Objective
Integrating the different formal models of a system in a correct and
systematic way is a pressing and unavoidable problem for large systems.
The objective of this work is to develop foundations, methods and
tools supporting formal interoperability to achieve such integration.
Relevant Items
Other Projects
Last updated by
Carolyn Talcott clt@cs.stanford.edu
10 July 1998.