Showing results 1 to 1 of 1
Title | Author(s) | Issue Date | Views | |
---|---|---|---|---|
Dependability auditing with model checking Proceeding/Conference:Association for Information Systems - 11th Americas Conference on Information Systems, AMCIS 2005: A Conference on a Human Scale | 2005 | 55 |