Showing results 1 to 1 of 1
Title | Author(s) | Issue Date | |
---|---|---|---|
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 |