Whitepapers, eBooks, Case Stories and more
Type
Topic
Product and Solution
Sort by
ABB Case Story

ABB Case Story

Download
Nine signs your CPQ needs improvement

Nine Signs Your CPQ Needs Improvement

Download
Configit s Approach to Security

Configit’s Approach to Security

Download
A Powerful Approach to Managing Complex Configuration

A Powerful Approach to Managing Complex Configuration

Download
VT whitepaper

Virtual Tabulation®

Download
Anonymous ROI case study

Anonymous Case Study by Nucleus Research

Download
ABB ROI case study

ABB Case Study by Nucleus Research

Download
Bridging the Product Configuration Gap Between PLM and ERP – An Automotive Case Study_academic whitepaper

Bridging the Product Configuration Gap Between PLM and ERP – An Automotive Case Study

Download

Verification of Large State-Event Systems using Compositionality and Dependency Analysis

Download

Timed Verification of Asynchronous Circuits

Download

Symbolic Model Checking of Timed Guarded Commands using Difference Decision Diagrams

Download

Product Configuration over the Internet

Download

Practical Verification of Embedded Software

Download

Partial Model Checking

Download

On Model Checking Infinite-State Systems

Download

Nonstochastic Analysis of Manufacturing Systems Using Timed-Event Graphs

Download

Fast Backtrack-Free Product Configuration Using a Precompiled Solution Space Representation

Download

Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion

Download

Difference Decision Diagrams

Download

Comparing Two Implementations of a Complete and Backtrack-Free Interactive Configurator

Download

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
1 2 3 4