1081 search results - page 9 / 217 » Hierarchical Heterogeneous Specifications |
110
Voted
HYBRID
2007
Springer
15 years 9 months ago
2007
Springer
138
Voted
ICICS
2009
Springer
15 years 10 months ago
2009
Springer
ASPDAC
2005
ACM
15 years 5 months ago
2005
ACM
94
Voted
AMAST
2004
Springer
15 years 7 months 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) ...
115
Voted
GRID
2006
Springer
15 years 3 months ago
2006
Springer
Main characteristics of large