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