Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks.
Autor: | Ngui, J., Strooper, P., Wildman, L., Wojcicki, M. |
---|---|
Zdroj: | 2007 Australian Software Engineering Conference (ASWEC'07); 2007, p223-232, 10p |
Databáze: | Complementary Index |
Externí odkaz: |