Article,

A family of test selection criteria for Timed Input-Output Symbolic Transition System models.

, , and .
Sci. Comput. Program., (2016)

Meta data

Tags

Users

  • @dblp

Comments and Reviews