2015 IEEE 16th International Symposium on High Assurance Systems Engineering
Latest Publications

TOTAL DOCUMENTS

49
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By IEEE

9781479981113
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Ontology of Secure Service Level Agreement

2015 ◽  
Author(s):  
Chen-Yu Lee ◽  
Krishna M. Kavi ◽  
Raymond A. Paul ◽  
Mahadevan Gomathisankaran
Keyword(s):  
Service Level Agreement ◽  
Service Level

CamAuth: Securing Web Authentication with Camera

2015 ◽  
Author(s):  
Mengjun Xie ◽  
Yanyan Li ◽  
Kenji Yoshigoe ◽  
Remzi Seker ◽  
Jiang Bian

Modeling and Verification for Probabilistic Properties in Software Product Lines

2015 ◽  
Author(s):  
Genaina N. Rodrigues ◽  
Vander Alves ◽  
Vinicius Nunes ◽  
Andre Lanna ◽  
Maxime Cordy ◽  
...  
Keyword(s):  
Software Product Lines ◽  
Product Lines ◽  
Software Product
Load More ...
Sign in / Sign up

Export Citation Format

Share Document