Showing 1 - 1 results of 1 for search 'Sean Sedwards', query time: 0.02s Refine Results
  1. 1
    Statistical Model Checking for Stochastic Hybrid Systems

    Statistical Model Checking for Stochastic Hybrid Systems by Danny Bøgsted Poulsen, Sean Sedwards, Axel Legay, Marius Mikučionis, Kim G. Larsen, Dehui Du, Alexandre David

    Published 2012-08-01
    Get full text
    Article

Search Tools: