Showing 1 - 3 results of 3 for search 'Benoît Boyer', query time: 0.03s Refine Results
  1. 1
    Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems

    Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems by Benoît Boyer, Thomas Genet

    Published 2010-03-01
    Get full text
    Article
  2. 2
    Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach

    Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach by Alexandre Arnold, Benoît Boyer, Axel Legay

    Published 2013-11-01
    Get full text
    Article
  3. 3
    SoS contract verification using statistical model checking

    SoS contract verification using statistical model checking by Alessandro Mignogna, Leonardo Mangeruca, Benoît Boyer, Axel Legay, Alexandre Arnold

    Published 2013-11-01
    Get full text
    Article

Search Tools: