Showing 21 - 38 results of 38 for search 'Butler Michael', query time: 0.15s Refine Results
  1. 21
    Language and tool support for event refinement structures in Event-B
    Get fulltext
    Article
  2. 22
    A method of refinement in UML-B
    Get fulltext
    Article
  3. 23
    Decomposition Tool for Event-B
    Get fulltext
    Article
  4. 24
    Reasoned modelling critics: turning failed proofs into modelling guidance
    Get fulltext
    Article
  5. 25
    Building traceable Event-B models from requirements
    Get fulltext
    Get fulltext
    Article
  6. 26
    A case of elbow hyperextension leading to complete brachial artery rupture
    Get full text
    Article
  7. 27
    Core Hybrid Event-B I: Single Hybrid Event-B machines
    Get fulltext
    Article
  8. 28
    Extending the Concept of Transaction Compensation
    Get fulltext
    Article
  9. 29
    Rodin: an open toolset for modelling and reasoning in Event-B
    Get fulltext
    Article
  10. 30
    Integrating formal verification and simulation of hybrid systems
    by Savicks, Vitaly
    Published 2016
    Other Authors: “...Butler, Michael...”
    Get full text
  11. 31
    An incremental refinement approach to a development of a flash-based file system in Event-B
    by Damchoom, Kriangsak
    Published 2010
    Other Authors: “...Butler, Michael...”
    Get full text
  12. 32
    Extending the ERS approach for workflow modelling in Event-B
    by Dghaym, Dana
    Published 2017
    Other Authors: “...Butler, Michael...”
    Get full text
  13. 33
    Extending Event-B with discrete timing properties
    by Sarshogh, Mohammad Reza
    Published 2013
    Other Authors: “...Butler, Michael...”
    Get full text
  14. 34
    The availability of glucose to CHO cells affects the intracellular lipid-linked oligosaccharide distribution, site occupancy and the N-glycosylation profile of a monoclonal antibody
    by Liu, Bo
    Published 2014
    Other Authors: “...Butler, Michael (Microbiology)...”
    Get full text
  15. 35
    The study of culture redox potential’s effect on glycosylation and production of monoclonal antibodies in mammalian cell cultures
    by Dionne, Benjamin
    Published 2015
    Other Authors: “...Butler, Michael (Microbiology)...”
    Get full text
  16. 36
    Dielectric and precursor analysis to study metabolic effects on CHO cell viability and antibody glycosylation
    by Braasch, Katrin
    Published 2016
    Other Authors: “...Butler, Michael (Microbiology)...”
    Get full text
  17. 37
    Developmental Plasticity: The Influence of Neonatal Diet and Immune Challenges on Carotenoid-Based Ornamental Coloration and Adult Immune Function in Mallard Ducks
    Published 2012
    Other Authors: “...Butler, Michael William (Author)...”
    Get full text
    Doctoral Thesis
  18. 38
    Developing verified sequential programs with Event-B
    by Dalvandi, Mohammad Sadegh
    Published 2018
    Other Authors: “...Butler, Michael ; Rezazadeh, Abdolbaghi...”
    Get full text
Search Tools: Get RSS Feed — Email this Search