Searching for "Composite Models." – sorted by Relevance.
-
A Compositional Modeling Language
- A Compositional Modeling Language Daniel Bobrow * , Brian Falkenhainer ** , Adam Farquhar
- Cited by 9 (1 self) – Add To MetaCart
-
Compositional Modeling in Metropolis
- Compositional Modeling in Metropolis ? Gregor Gossler and Alberto Sangiovanni
- Add To MetaCart
-
Compositional Modelling of Reflective Agents
- Compositional Modelling of Reflective Agents * Frances M.T. Brazier and Jan Treur Department
- Cited by 11 (5 self) – Add To MetaCart
-
Compositional Modelling of Reflective Agents
- Compositional Modelling of Reflective Agents * Frances M.T. Brazier and Jan Treur Department
- Add To MetaCart
-
Compositional Model Checking
- Compositional Model Checking E. M. Clarke D. E. Long K. L. McMillan April 19, 1989 CMU-CS-89
- Cited by 1580 (59 self) – Add To MetaCart
-
Induction in Compositional Model Checking
- Induction in Compositional Model Checking Kenneth L. McMillan 1 , Shaz Qadeer 2 , and James B
- Cited by 22 (0 self) – Add To MetaCart
-
Compositional Modelling: The Formal Perspective
- 2 Compositional Modelling: The Formal Perspective Hussein Zedan , Antonio Cau and Ben
- Cited by 2 (2 self) – Add To MetaCart
-
Compositional Modeling with DPNs
- Compositional Modeling With DPNs Geoffrey Zweig Stuart Russell Report No. UCB/CSD-97-970 September
- Cited by 7 (1 self) – Add To MetaCart
-
CoCo: Composition Model and Composition Model Implementation
- Technical Report: University of Massachusetts - Lowell, CS-2004-006 CoCo: Composition Model
- Cited by 1 (0 self) – Add To MetaCart
-
CML: A Compositional Modeling Language
- CML: A Compositional Modeling Language This is a draft of a document in preparation and describes
- Add To MetaCart

