What to Do Next? Analysing and Optimising System Behaviour in Time

A.J. Wijs

Research output: PhD ThesisPhD Thesis - Research external, graduation VU

92 Downloads (Pure)
Original languageEnglish
QualificationPhD
Awarding Institution
  • Vrije Universiteit Amsterdam
Supervisors/Advisors
  • Fokkink, Wan, Supervisor
  • van de Pol, J.C., Supervisor, External person
Award date2 Oct 2007
Place of PublicationVrije Universiteit
Print ISBNs9789064641749
Publication statusPublished - 2007

Keywords

  • Model Checking
  • scheduling
  • state space searching
  • timed branching bisimilarity
  • timed process algebra

Cite this