Showing 1 - 20 results of 38 for search 'Butler, Michael', query time: 0.15s Refine Results
  1. 1
    Narrative Reliability in Selected Works by Bulgakov, Nabokov, and Tertz
    by Butler, Michael, Butler, Michael
    Published 2012
    Get full text
  2. 2
    On the Verified-by-Construction Approach
    by Butler, Michael
    Published 2006
    Get fulltext
    Article
  3. 3
    External and internal choice with event groups in Event-B
    by Butler, Michael
    Published 2012
    Get fulltext
    Article
  4. 4
    A System-based Approach to the Formal Development of Embedded Controllers for a Railway
    by Butler, Michael
    Published 2002
    Get fulltext
    Article
  5. 5
    Securitization Revisited : Contemporary Applications and Insights
    by Butler, Michael J.
    Published 2019
    Get fulltext
    eBook
  6. 6
    Test methods and custom hardware for functional testing of a high speed GaAs DRAM
    by Butler, Michael P.
    Published 2014
    Get full text
  7. 7
    A CSP approach to action systems
    by Butler, Michael John
    Published 1992
    Get full text
  8. 8
    Surface modification of synthetic hydroxyapatite and other adsorbents
    by Butler, Michael Douglas
    Published 1966
    Get full text
  9. 9
    Ground water pollution at sanitary landfill sites: geohydrological, environmental isotope and hydrochemical studies
    by Butler, Michael John
    Published 2017
    Get full text
    Get full text
    Others
  10. 10
    A comparison of two models for geometrically nonlinear finite element analysis of plane frames
    by Butler, Michael Joseph
    Published 2021
    Get full text
    Others
  11. 11
    UML-B: Formal modelling and design aided by UML
    by Snook, Colin, Butler, Michael
    Published 2006
    Get fulltext
    Article
  12. 12
    ProB: an automated analysis toolset for the B method
    by Leuschel, Michael, Butler, Michael
    Published 2008
    Get fulltext
    Article
  13. 13
    An incremental development of the Mondex system in Event-B
    by Butler, Michael, Yadav, Divakar
    Published 2008
    Get fulltext
    Article
  14. 14
    Structuring functional requirements of control systems to facilitate refinement-based formalisation
    by Yeganefard, Sanaz, Butler, Michael
    Published 2011
    Get fulltext
    Article
  15. 15
    Performance Analysis of Probabilistic Action Systems
    Get fulltext
    Article
  16. 16
    ProTest: An Automatic Test Environment for B Specifications
    Get fulltext
    Article
  17. 17
    Verification of UML models by translation to UML-B
    Get fulltext
    Article
  18. 18
    Interoperability Standards for Network Based Airborne Video Systems
    Get full text
    Get full text
  19. 19
    Precise Modelling of Compensating Business Transactions and its Application to BPEL
    Get fulltext
    Article
  20. 20
    A systematic approach to atomicity decomposition in Event-B
    Get fulltext
    Article
Search Tools: Get RSS Feed — Email this Search