Items where Author is "Butler, M"
![]() | Up a level |
Article
Fathabadi, Asieh Salehi, Dalvandi, Mohammadsadegh, Butler, Michael and Al-Hashimi, Bashir M. (2019) Verifying Cross-layer Interactions through Formal Model-based Assertion Generation IEEE Embedded Systems Letters.
Shrimpton, RE, Butler, M, Morel, A-S, Eren, E, Hue, SS and Ritter, MA (2009) CD205 (DEC-205): A recognition receptor for apoptotic and necrotic self MOLECULAR IMMUNOLOGY, 46 (6). pp. 1229-1239.
Butler, M, Morel, A-S, Jordan, WJ, Eren, E, Hue, S, Shrimpton, RE and Ritter, MA (2007) Altered expression and endocytic function of CD205 in human dendritic cells, and detection of a CD205-DCL-1 fusion protein upon dendritic cell maturation IMMUNOLOGY, 120 (3). pp. 362-371.
Bushell, ME, Sequeira, SIP, Khannapho, C, Zhao, H, Chater, KF, Butler, MJ, Kierzek, AM and Avignone-Rossa, CA (2006) The use of genome scale metabolic flux variability analysis for process feed formulation based on an investigation of the effects of the zwf mutation on antibiotic production in Streptomyces coelicolor ENZYME AND MICROBIAL TECHNOLOGY, 39 (6). pp. 1347-1353.
Conference or Workshop Item
Dalvandi, Mohammadsadegh, Butler, Michael and Fathabadi, Asieh Salehi (2019) SEB-CG: Code Generation Tool with Algorithmic Refinement Support for Event-B In: Workshop on Practical Formal Verification for Software Dependability (AFFORD 2019), 07 Oct 2019, Porto, Portugal.
Book
Courtenay, M and Butler, M (2002) Essential Nurse Prescribing Cambridge Univ Pr. ISBN 0521693047
Courtenay, M and Butler, M (1999) Nurse Prescribing Cambridge Univ Pr. ISBN 1841100072