Foundations of Software Science and Computational Structures - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

32
(FIVE YEARS 0)

H-INDEX

13
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540253884, 9783540319825
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals History-Based Access Control with Local Policies

2005 ◽  
pp. 316-332 ◽  
Author(s):  
Massimo Bartoletti ◽  
Pierpaolo Degano ◽  
Gian Luigi Ferrari
Keyword(s):  
Access Control ◽  
Local Policies

scholarly journals Fault Diagnosis Using Timed Automata

2005 ◽  
pp. 219-233 ◽  
Author(s):  
Patricia Bouyer ◽  
Fabrice Chevalier ◽  
Deepak D’Souza
Keyword(s):  
Fault Diagnosis ◽  
Timed Automata
Load More ...
Sign in / Sign up

Export Citation Format

Share Document