Linked e-resources
Details
Table of Contents
Formal Verification of Steady-State Errors in Unity-Feedback Control Systems
Assertion-Based Monitoring in Practice? Checking Correctness of an Automotive Sensor Interface
Analysis of Real-Time Properties of a Digital Hydraulic Power Management System
Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip
Formal Specification and Verification of TCP Extended with the Window Scale Option
Learning Fragments of the TCP Network Protocol
On the Validation of an Interlocking System by Model-Checking
Deadlock Avoidance in Train Scheduling: A Model Checking Approach
An Open Alternative for SMT-Based Verification of Scade Models
Improving Static Analyses of C Programs with Conditional Predicates
Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements
Test Specification Patterns for Automatic Generation of Test Sequences
Randomised Testing of a Microprocessor Model Using SMT-Solver State Generation.
Assertion-Based Monitoring in Practice? Checking Correctness of an Automotive Sensor Interface
Analysis of Real-Time Properties of a Digital Hydraulic Power Management System
Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip
Formal Specification and Verification of TCP Extended with the Window Scale Option
Learning Fragments of the TCP Network Protocol
On the Validation of an Interlocking System by Model-Checking
Deadlock Avoidance in Train Scheduling: A Model Checking Approach
An Open Alternative for SMT-Based Verification of Scade Models
Improving Static Analyses of C Programs with Conditional Predicates
Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements
Test Specification Patterns for Automatic Generation of Test Sequences
Randomised Testing of a Microprocessor Model Using SMT-Solver State Generation.