1081 search results - page 9 / 217 » Hierarchical Heterogeneous Specifications |
HYBRID
2007
Springer
14 years 2 months ago
2007
Springer
ICICS
2009
Springer
14 years 3 months ago
2009
Springer
ASPDAC
2005
ACM
13 years 10 months ago
2005
ACM
AMAST
2004
Springer
14 years 4 days ago
2004
Springer
Abstract. In this work we study the unification of heterogeneous partial specifications using category theory. We propose an alternative to inn morphisms, which we call (abstract) ...
GRID
2006
Springer
13 years 8 months ago
2006
Springer
Main characteristics of large