Searching for "Hybrid diagrams." – sorted by Relevance.
-
Hybrid Diagrams: A Deductive-Algorithmic Approach to Hybrid System Verification
- Hybrid Diagrams: A Deductive-Algorithmic Approach to Hybrid System Verification ? Luca de Alfaro
- Cited by 6 (2 self) – Add To MetaCart
-
Hierarchical Hybrid Block Diagrams
- Abstract Hierarchical Hybrid Block Diagrams Block diagram languages are now commonly used
- Add To MetaCart
-
Automated Layout of Concept Lattice Using Layer Diagrams and Additive Diagrams
- that combines ideas from both additive and layer diagrams. These new hybrid diagrams preserve the structural
- Cited by 6 (0 self) – Add To MetaCart
-
*PBHD: An Efficient Graph Representation for Floating Point Circuit Verification
- structure, called Multiplicative Power Binary Hybrid Diagrams (*PBHDs), to provide a compact representation
- Cited by 2 (2 self) – Add To MetaCart
-
, Objective Real-Time, and Hybrid Systems
- . The method- ology is based on the deductive transformation of hybrid diagrams, which represent the system
- Add To MetaCart
-
Algebraic Semantics of Coordination or, what is in a signature?
- , a kind of “hybrid diagrams” that are more economical. For instance, in the previous section
- Cited by 10 (0 self) – Add To MetaCart
-
Semantic Networks: Visualizations of Knowledge
- PS. Actually, however, they are not pure pictorial forms. They are text/picture hybrids (diagrams), where words
- Cited by 1 (1 self) – Add To MetaCart

