Search Constraints
Search Results
Select an image to start the slideshow
Disjunction of Regular Timing Diagrams
1 of 7
Margrave: An Improved Analyzer for Access-Control and Configuration Policies
2 of 7
Alchemy: Transmuting Base Specifications into Implementations
3 of 7
Feature-Oriented Specification of Hardware Bus Protocols
4 of 7
An Axiomatic Semantics for Functional Reactive Programming
5 of 7
A Modular Model Checking Algorithm for Cyclic Feature Compositions
6 of 7
Modular Detection of Feature Interactions Through Theorem Proving: A Case Study
7 of 7