Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

13
(FIVE YEARS 13)

H-INDEX

1
(FIVE YEARS 1)

Published By Springer International Publishing

9783030582975, 9783030582982
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Verification of a Failure Management Protocol for Stateful IoT Applications

2020 ◽  
pp. 272-287
Author(s):  
Umar Ozeer ◽  
Gwen Salaün ◽  
Loïc Letondeur ◽  
François-Gaël Ottogalli ◽  
Jean-Marc Vincent
Keyword(s):  
Iot Applications ◽  
Management Protocol

The First Twenty-Five Years of Industrial Use of the B-Method

2020 ◽  
pp. 189-209
Author(s):  
Michael Butler ◽  
Philipp Körner ◽  
Sebastian Krings ◽  
Thierry Lecomte ◽  
Michael Leuschel ◽  
...  
Keyword(s):  
B Method ◽  
Industrial Use

An Actor-Based Approach for Security Analysis of Cyber-Physical Systems

2020 ◽  
pp. 130-147
Author(s):  
Fereidoun Moradi ◽  
Sara Abbaspour Asadollah ◽  
Ali Sedaghatbaf ◽  
Aida Čaušević ◽  
Marjan Sirjani ◽  
...  
Keyword(s):  
Security Analysis ◽  
Cyber Physical Systems ◽  
Physical Systems

scholarly journals The 2020 Expert Survey on Formal Methods

2020 ◽  
pp. 3-69
Author(s):  
Hubert Garavel ◽  
Maurice H. ter Beek ◽  
Jaco van de Pol
Keyword(s):  
Formal Methods ◽  
Expert Survey

Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture

2020 ◽  
pp. 151-169
Author(s):  
Benjamin Binder ◽  
Mihail Asavoae ◽  
Florian Brandner ◽  
Belgacem Ben Hedia ◽  
Mathieu Jan

scholarly journals Skylines for Symbolic Energy Consumption Analysis

2020 ◽  
pp. 93-112
Author(s):  
Markus Klinik ◽  
Bernard van Gastel ◽  
Cynthia Kop ◽  
Marko van Eekelen
Keyword(s):  
Energy Consumption ◽  
Energy Consumption Analysis
Load More ...
Sign in / Sign up

Export Citation Format

Share Document