Вы здесь

Главная

Testing of Communicating Systems (IFIP)

Связанные издания:

Factorized test generation for multi-input/output transition systems
Test Generation for Specifications Modeled by Input/Output Automata
Testing of automata: from experiments to representations by means of fragments
Testing Temporal Logic Properties in Distributed Systems