Whitepapers, eBooks, Case Stories and more
Portrait of Virtual Event
Virtual Event
April 29-30, 2025
Configit
Configuration Lifecycle Management Summit 2025
Advancing Customer-centric Manufacturing
Save Your Spot
Type
Topic
Product and Solution
Sort by

Boolean Expression Diagrams

Download

BDD-based Recursive and Conditional Modular Interactive Product Configuration

Download

An Asynchronous Process Algebra with Multiple Clocks

Download

An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems

Download

A Compositional Proof System for the Modal mu-Calculus

Download

A Comparison of Modular Verification Techniques

Download
1 2 3 4