Recherche
Résultats de recherche
Sélectionnez une image pour lancer le diaporama
Disjunction of Regular Timing Diagrams
1 de 8
Margrave: An Improved Analyzer for Access-Control and Configuration Policies
2 de 8
An Efficient Scheme to Provide Real-time Memory Integrity Protection
3 de 8
Alchemy: Transmuting Base Specifications into Implementations
4 de 8
Feature-Oriented Specification of Hardware Bus Protocols
5 de 8
An Axiomatic Semantics for Functional Reactive Programming
6 de 8
A Modular Model Checking Algorithm for Cyclic Feature Compositions
7 de 8
Modular Detection of Feature Interactions Through Theorem Proving: A Case Study
8 de 8