Benjamin Aziz Forfatter
Viser 1 - 1 af 1 resultat
-
Formal Analysis by Abstract Interpretation: Case Studies in Modern Protocols (Bog, Paperback / softback, Engelsk)
The book provides a gentle introduction and definition of the denotational-based abstract interpretation method. The book presents three case studies, all related to current complex protocols and standards used in industry, particularly in the context of IoT and Industry 4.0.
Levering: Skaffevare (forvent 14 - 30 hverdage)
Viser 1 - 1 af 1 resultat