Sign in

A formal framework for black-box conformance testing of distributed real-time systems.

Moez Krichen
Published in: Int. J. Crit. Comput. Based Syst. (2012)
Keyphrases