Formalisation, Abstraction and Refinement of Bond Graphs.

Richard Banach John W. Baugh Jr.

Published in: ICGT (2023)

Keyphrases

graph theoretic
graph matching
formal analysis
high level
refinement process
graph theory
graph isomorphism
data sets
series parallel
graph representation
graph databases
graph model
weighted graph
bipartite graph
subgraph isomorphism
pairwise
reinforcement learning
graph properties
bayesian networks