Yazar
Liu, Zhiming. editor.
Format:
Electronic Resources
Alıntı:
the design and use of theories, techniques and tools for software specification and modeling, analysis
Yazar
Dutot, Pierre-François. editor.
Format:
Electronic Resources
Alıntı:
176 submissions. The papers are organized in 12 topical sections: Support Tools and Environments
View Other Search Results
Yazar
Merayo, Mercedes G. editor.
Format:
Electronic Resources
Alıntı:
Planning -- Minimum Number of Test Paths for Prime Path and Other Structural Coverage Criteria -- Tools and
Arama Sonuçlarını Sınırlandır
Daraltılmış: