Showing 1 - 9 results of 9 for search 'Leuschel, Michael', query time: 0.12s Refine Results
  1. 1
    A Framework for the Integration of Partial Evaluation and Abstract Interpretation of Logic Programs
    by Leuschel, Michael
    Published 2004
    Get fulltext
    Article
  2. 2
    Logic program specialisation through partial deduction: Control Issues
    Get fulltext
    Article
  3. 3
    ProB: an automated analysis toolset for the B method
    by Leuschel, Michael, Butler, Michael
    Published 2008
    Get fulltext
    Article
  4. 4
    ProTest: An Automatic Test Environment for B Specifications
    Get fulltext
    Article
  5. 5
    Efficient and Flexible Access Control via Jones-Optimal Logic Program Specialisation
    Get fulltext
    Article
  6. 6
    Offline Specialisation in Prolog Using a Hand-Written Compiler Generator
    Get fulltext
    Article
  7. 7
    Update VertiGo – light affection of mobile VNG
    Get full text
    Article
  8. 8
    VertiGo – a pilot project in nystagmus detection via webcam
    Get full text
    Article
  9. 9
    Development and Validation of Distributed Reactive Control Systems/Développement et Validation de Systèmes de Contrôle Reactifs Distribués
    by Meuter, Cédric
    Published 2008
    Other Authors: “...Leuschel, Michaël...”
    Get full text
    Others
Search Tools: Get RSS Feed — Email this Search