( en | de | ru )

 

  2. person
  3. Wladimir Schamai

Wladimir Schamai

Model-Based Verification of Dynamic System Behavior against Requirements : Method, Language, and Tool.
. Linköping University, Sweden, (2013)base-search.net (ftlinkoepinguniv:oai:DiVA.org:liu-98107).
  •  Doctoral advisor:
  •  First reviewer:
more

No resources found