![](/img/cover-not-exists.png)
[IEEE 2008 IEEE International Conference on Software Testing Verification and Validation Workshop - Lillehammer, Norway (2008.04.9-2008.04.11)] 2008 IEEE International Conference on Software Testing Verification and Validation Workshop - Test generation and execution for security rules in temporal logic
Darmaillacq, Vianney, Richier, Jean-Luc, Groz, RolandYear:
2008
Language:
english
DOI:
10.1109/ICSTW.2008.41
File:
PDF, 254 KB
english, 2008