Lecture Notes in Computer Science - Critical Systems: Formal Methods and Automated Verification
Latest Publications

TOTAL DOCUMENTS

15
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer International Publishing

9783319671123, 9783319671130
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Information Leakage as a Scheduling Resource

2017 ◽  
pp. 83-99
Author(s):  
Fabrizio Biondi ◽  
Mounir Chadli ◽  
Thomas Given-Wilson ◽  
Axel Legay
Keyword(s):  
Information Leakage

Certified Gathering of Oblivious Mobile Robots: Survey of Recent Results and Open Problems

2017 ◽  
pp. 165-181 ◽  
Author(s):  
Thibaut Balabonski ◽  
Pierre Courtieu ◽  
Lionel Rieg ◽  
Sébastien Tixeuil ◽  
Xavier Urbain
Keyword(s):  
Mobile Robots ◽  
Open Problems

CRutoN: Automatic Verification of a Robotic Assistant’s Behaviours

2017 ◽  
pp. 119-133 ◽  
Author(s):  
Paul Gainer ◽  
Clare Dixon ◽  
Kerstin Dautenhahn ◽  
Michael Fisher ◽  
Ullrich Hustadt ◽  
...  
Keyword(s):  
Automatic Verification
Load More ...
Sign in / Sign up

Export Citation Format

Share Document