You are here

MODELOGOS

Modelling and Synthesis during Logical Design of Computer Systems: From Formalization to Applications
Aug 1997 - Jul 2000
Main researcher
Project description
Data not available.