Infoscience

Conference paper

Multilevel Design Understanding: From Specification to Logic Invited Paper

We present an outline of the field of Multilevel Design Understanding by first defining and motivating the related problems, and then describing the key issues which must be addressed in future research.

Fulltext

Related material