Aspect-Oriented Runtime Monitor Certification.

Autor:	Hamlen, Kevin W., Jones, Micah M., Sridhar, Meera
Zdroj:	Tools & Algorithms for the Construction & Analysis of Systems (9783642287558); 2012, p126-140, 15p
Databáze:	Complementary Index
Externí odkaz:	Zobrazit plný text záznamu