Searching for "Hybrid diagrams." – sorted by Relevance.
7 documents found, showing 1 through 7.
-
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
Showing 1 through 7.
