Browsing by Author Kulbakas, Christopher
Showing results 1 to 1 of 1
| Publication Date | Title | Author(s) |
|---|---|---|
| Sep-2010 | Formally Specifying and Verifying Linux-PAM Configurations Using Hierarchical Coloured Petri Nets and NuSMV | Kulbakas, Christopher |
