Using Interactions to Validate Executing State Machines

Mitterer, Philipp

by Philipp Mitterer

Reference:

Philipp Mitterer: Using Interactions to Validate Executing State Machines, Master's thesis, Johannes Kepler University (JKU), Linz, Austria, 2014.

Bibtex Entry:

@MastersThesis{Mitterer2014,
  author = {Philipp Mitterer},
  school = {Johannes Kepler University (JKU), Linz, Austria},
  title  = {Using Interactions to Validate Executing State Machines},
  year   = {2014},
  file   = {:MSc Theses/2014 Philipp Mitterer/Mitterer2014 - Using Interactions to Validate Executing State Machines.pdf:PDF},
}