Remote Testing of Timed Specifications.

Alexandre David Kim G. Larsen Marius Mikucionis Omer Nguena-Timo Antoine Rollet

Published in: ICTSS (2013)

Keyphrases

finite state machines
test cases
petri net
real world
social networks
control system
formal specification
control flow
formal verification
reactive systems
written in natural language