Formal and Model−Based Testing of Concurrent Workflows

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ: Wang, C, Cavarra, A, Davies, J
Ձևաչափ: Conference item
Հրապարակվել է: IEEE 2011