Using Multiple-Valued Logic Decision Diagrams to Model System Threat Probabilities

Theodore W. Manikas, Mitchell A. Thornton, David Y. Feinstein. Using Multiple-Valued Logic Decision Diagrams to Model System Threat Probabilities. In Jaakko Astola, Radomir S. Stankovic, editors, 41st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2011, Tuusula, Finland, May 23-25, 2011. pages 263-267, IEEE, 2011. [doi]

Authors

Theodore W. Manikas

This author has not been identified. Look up 'Theodore W. Manikas' in Google

Mitchell A. Thornton

This author has not been identified. Look up 'Mitchell A. Thornton' in Google

David Y. Feinstein

This author has not been identified. Look up 'David Y. Feinstein' in Google