Showing 1 - 2 results of 2 for search 'Jean-Michel Hufflen', query time: 0.05s Refine Results
  1. 1
    Checking Properties along Multiple Reconfiguration Paths for Component-Based Systems
    by Jean-Michel Hufflen
    Published 2017-03-01
    Get full text
    Article
  2. 2
    Using Model-Checking Techniques for Component-Based Systems with Reconfigurations
    by Jean-Michel Hufflen
    Published 2015-03-01
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search