Formal Analysis by Abstract Interpretation - SpringerBriefs in Applied Sciences and Technology
Latest Publications

TOTAL DOCUMENTS

7

(FIVE YEARS 7)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer International Publishing

9783030911522, 9783030911539

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Third Case Study: An Electric Vehicle Charging Protocol

Formal Analysis by Abstract Interpretation - SpringerBriefs in Applied Sciences and Technology ◽

10.1007/978-3-030-91153-9_6 ◽

2021 ◽

pp. 87-108

Author(s):

Benjamin Aziz

Keyword(s):

Electric Vehicle ◽

Electric Vehicle Charging ◽

Vehicle Charging

Download Full-text

Formal Analysis by Abstract Interpretation

Formal Analysis by Abstract Interpretation - SpringerBriefs in Applied Sciences and Technology ◽

10.1007/978-3-030-91153-9_3 ◽

2021 ◽

pp. 43-61

Author(s):

Benjamin Aziz

Keyword(s):

Abstract Interpretation ◽

Formal Analysis

Download Full-text

First Case Study: The MQTT Protocol

Formal Analysis by Abstract Interpretation - SpringerBriefs in Applied Sciences and Technology ◽

10.1007/978-3-030-91153-9_4 ◽

2021 ◽

pp. 63-76

Author(s):

Benjamin Aziz

Keyword(s):

Download Full-text

Conclusion

Formal Analysis by Abstract Interpretation - SpringerBriefs in Applied Sciences and Technology ◽

10.1007/978-3-030-91153-9_7 ◽

2021 ◽

pp. 109-113

Author(s):

Benjamin Aziz

Download Full-text

Second Case Study: The Hermes Protocol

Formal Analysis by Abstract Interpretation - SpringerBriefs in Applied Sciences and Technology ◽

10.1007/978-3-030-91153-9_5 ◽

2021 ◽

pp. 77-85

Author(s):

Benjamin Aziz

Download Full-text

Process Algebra: Syntax and Semantics

Formal Analysis by Abstract Interpretation - SpringerBriefs in Applied Sciences and Technology ◽

10.1007/978-3-030-91153-9_2 ◽

2021 ◽

pp. 33-41

Author(s):

Benjamin Aziz

Keyword(s):

Process Algebra

Download Full-text

Introduction

Formal Analysis by Abstract Interpretation - SpringerBriefs in Applied Sciences and Technology ◽

10.1007/978-3-030-91153-9_1 ◽

2021 ◽

pp. 1-31

Author(s):

Benjamin Aziz

Download Full-text