PEALT: An Automated Reasoning Tool for Numerical Aggregation of Trust Evidence
File(s)final.pdf (402.68 KB)
Accepted version
Author(s)
Huth, MR
Kuo, JH-P
Type
Conference Paper
Editor(s)
Abraham, E
Klaus, H
Date Issued
2014-04-13
Date Acceptance
2013-12-20
Citation
Lecture Notes in Computer Science, 2014, pp.109-123
ISSN
0302-9743
Publisher
Springer
Start Page
109
End Page
123
Journal / Book Title
Lecture Notes in Computer Science
Copyright Statement
The final publication is available at Springer via http://link.springer.com/chapter/10.1007%2F978-3-642-54862-8_8
Source
Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2014)
Publication Status
Published
Start Date
2013-04-05
Finish Date
2013-04-13