Software Validation via Model Animation.

Autor: Dutle, Aaron M., Muñoz, César A., Narkawicz, Anthony J., Butler, Ricky W.
Zdroj: Tests & Proofs (9783319212142); 2015, p92-108, 17p
Databáze: Complementary Index
Externí odkaz: