Showing 1 - 3 results of 3 for search 'Bernard van Gastel', query time: 0.06s Refine Results
  1. 1
    A formalisation of XMAS
    by Bernard van Gastel, Julien Schmaltz
    Published 2013-04-01
    Get full text
    Article
  2. 2
    Towards Practical, Precise and Parametric Energy Analysis of IT Controlled Systems
    by Bernard van Gastel, Marko van Eekelen
    Published 2017-04-01
    Get full text
    Article
  3. 3
    A Macro for Reusing Abstract Functions and Theorems
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search