Login / Signup

On the homology language of HDA models of transition systems.

Thomas Kahl
Published in: CoRR (2022)
Keyphrases
  • transition systems
  • artificial intelligence
  • metamodel
  • case study
  • model checking