Showing 1 - 5 results of 5 for search 'Kathi Fisler, Advisor', query time: 0.08s Refine Results
  1. 1
    Feature-Oriented Specification of Hardware Bus Protocols
    by Freitas, Paul Michael
    Published 2008
    Other Authors: “...Kathi Fisler, Advisor...”
    Get full text
    Get full text
    Others
  2. 2
    Modular Detection of Feature Interactions Through Theorem Proving: A Case Study
    by Roberts, Brian Glenn
    Published 2003
    Other Authors: “...Kathi Fisler, Advisor...”
    Get full text
    Get full text
    Others
  3. 3
    Disjunction of Regular Timing Diagrams
    by Feng, Yu
    Published 2010
    Other Authors: “...Kathi Fisler, Advisor...”
    Get full text
    Get full text
    Others
  4. 4
    A Modular Model Checking Algorithm for Cyclic Feature Compositions
    by Wang, Xiaoning
    Published 2005
    Other Authors: “...Kathi Fisler, Advisor...”
    Get full text
    Get full text
    Others
  5. 5
    Margrave: An Improved Analyzer for Access-Control and Configuration Policies
    by Nelson, Timothy
    Published 2010
    Other Authors: “...Kathi Fisler, Advisor...”
    Get full text
    Get full text
    Others
Search Tools: Get RSS Feed — Email this Search