Runtime Verification

Materias

• Computer software, testing

Ediciones (2)

• Runtime Verification (2018)

  Springer · ISBN 9783030037680

• Runtime Verification (2008)

  Springer London, Limited · inglés · ISBN 9783540892472

Más obras de Martin Leucker

Theoretical Aspects of Computing - ICTAC 2009

Theoretical Aspects of Computing - ICTAC 2015

MModel-Based Testing of Reactive Systems

Model-Based Testing of Reactive Systems