Incremental Bisimulation Abstraction Refinement

Søgeresultater

• MT-Lab - Modelling of Information Technology

  Wasowski, A. (CoI), Godskesen, J. C. (PI), Song, L. (CoI), Traonouez, L.-M. (CoI) & Biondi, F. (CoI)

  01/11/2008 → 31/10/2013

  Projekter: Projekt › Forskning

  • Automaton 100%
  • Specification Theory 73%
  • Bisimulation 60%
  • Probabilistic Automata 60%
  • Real-time Systems 60%