Search

Your search keyword '"vérification"' showing total 926 results

Search Constraints

Start Over You searched for: Descriptor "vérification" Remove constraint Descriptor: "vérification" Publisher springer berlin heidelberg Remove constraint Publisher: springer berlin heidelberg
926 results on '"vérification"'

Search Results

2. Development and Verification of a Microservice Architecture for a Fire Risk Notification System

18. EthVer: Formal Verification of Randomized Ethereum Smart Contracts

19. Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms

20. Solving Finite-Linear-Path CTL-Formulas Using the CEGAR Approach

40. A Formal Framework for Diagnostic Analysis for Errors of Business Processes

41. A MAC Mode for Lightweight Block Ciphers

42. On the Influence of Message Length in PMAC’s Security Bounds

44. Finding Optimal Compatible Set of Software Components Using Integer Linear Programming

Catalog

Books, media, physical & digital resources