Chapter Concurrent Specification of Embedded Systems: An Insight into the Flexibility vs Correctness Trade-Off

Chapter Concurrent Specification of Embedded Systems: An Insight into the Flexibility vs Correctness Trade-Off

Diseases & disorders

Bibliographic Details
Main Author:	Herrera, Fernando (auth)
Other Authors:	Ugarte, Inigo (auth)
Format:	eBook
Published:	InTechOpen 2012
Subjects:	Immunology Medicine
Online Access:	Get fulltext

Similar Items

Chapter Mechanisms of Calcineurin Inhibitor Nephrotoxicity in Chronic Allograft Injury
by: Slattery, Craig
Published: (2012)

Chapter Transcriptomic and proteomic profiles of vascular cells involved in human abdominal aortic aneurysm
by: Chwastyniak, Maggy
Published: (2011)

Chapter Herbal Medicinal Products in the Treatment of Osteoarthritis
by: Maksimović, Zoran
Published: (2019)

Chapter Twenty-six Syriac Medicine
by: Kessel, Grigory
Published: (2019)

Chapter Numerical Validation Methods
by: Jauregui, Ricardo
Published: (2011)

Chapter Insights Arising from Gene Expression Profiling in Amyotrophic Lateral Sclerosis
by: Goodall, Emily F.
Published: (2012)

Make Life Visible
Published: (2020)

Chapter Numerical Geodynamic Modeling of Continental Convergent Margins
by: Gerya, Taras
Published: (2012)

Chapter Hypoxic Pulmonary Arterial Hypertension in the Chicken Model
by: de Sandino, Martha
Published: (2011)

Chapter Formal Foundations for the Generation of Heterogeneous Executable Specifications in SystemC from UML/MARTE Models
by: Peil, Pablo
Published: (2012)

Chapter Biomethanol from Glycerol
by: Heeres, Hero J.
Published: (2012)

Chapter Ant Algorithms for Adaptive Edge Detection
by: Jevtic, Aleksandar
Published: (2013)

Chapter 4 Consequentialism and the Law in Medicine
by: Savulescu, Julian
Published: (2019)

Chapter Cooperative Game Theory and Its Application in Localization Algorithms
by: Mumtaz, Shahid
Published: (2013)

Innovative Medicine: Basic Research and Development
Published: (2015)

Chapter Manganese: A New Emerging Contaminant in the Environment
by: Pinsino, Annalisa
Published: (2012)

Chapter Probabilistic Routing in Opportunistic Ad Hoc Networks
by: Angelakis, Vangelis
Published: (2012)

Chapter Cellular and Molecular Mechanisms of Methotrexate Resistance in Melanoma
by: Sáez-Ayala, Magalí
Published: (2013)

Chapter The Characteristics of Phytoremediation of Soil and Leachate Polluted by Landfills
by: Zaimoglu, Zeynep
Published: (2015)

Chapter Atomic Force Microscopy in Optical Imaging and Characterization
by: Veis, Martin
Published: (2012)

Chapter Femtocell Performance Over Non-SLA xDSL Access Network
by: Wulansari, R.
Published: (2012)

Chapter Abbreviations
by: Wilson, Duncan
Published: (2014)

Chapter Bibliography
by: Wilson, Duncan
Published: (2014)

Chapter Acknowledgements
by: Wilson, Duncan
Published: (2014)

Chapter Introduction
by: Wilson, Duncan
Published: (2014)

Chapter Conclusion
by: Wilson, Duncan
Published: (2014)

Chapter Between Epidemiology and Basic Genetic Research - Systems Epidemiology
by: Lund, Eiliv
Published: (2012)

Chapter Micro-Nano Technologies for Cell Manipulation and Subcellular Monitoring
by: Campo, Eva M.
Published: (2011)

Chapter Targeted Metabolomics for Clinical Biomarker Discovery in Multifactorial Diseases
by: Lundin, Ulrika
Published: (2011)

Chapter Networking Applications for Embedded Systems
by: Zoican, Sorin
Published: (2012)

Chapter Network Pharmacology and Traditional Chinese Medicine
by: Xu, Qihe
Published: (2012)

Chapter Introduction
by: Szreter, Simon
Published: (2019)

Chapter Claystone as a Potential Host Rock for Nuclear Waste Storage
by: Máthé, Zoltán
Published: (2012)

Chapter Switching Noise in 3D Power Distribution Networks: An Overview
by: Ahmad, Waqar
Published: (2012)

Chapter Multiscale Modeling of Myocardial Electrical Activity: From Cell to Organ
by: Romero, Lucia
Published: (2011)

Chapter Pollutant Degradation in Gas Streams by means of Non-Thermal Plasmas
by: Paradisi, Cristina
Published: (2015)

Chapter Development of Josephson voltage standards
by: Behr, R.
Published: (2011)

Chapter Plasmonic Rectenna for Efficient Conversion of Light into Electricity
by: Alemu, Negash
Published: (2012)

Chapter Interlayer Processing in Active Matrix OLED Displays
by: Heremans, Paul
Published: (2011)

Chapter Unraveling Stakeholders' Discourses Regarding Sustainable Development and Biodiversity Conservation in Greece
by: Drakou, Evangelia G.
Published: (2012)