Cover Image

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

Show other versions (1)

Diseases & disorders

Saved in:

Bibliographic Details
Main Author:	Herrera, Fernando (auth)
Other Authors:	Ugarte, Inigo (auth)
Format:	Electronic Book Chapter
Language:	English
Published:	InTechOpen 2012
Subjects:	Immunology Medicine
Online Access:	DOAB: download the publication DOAB: description of the publication
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Chapter Concurrent Specification of Embedded Systems: An Insight into the Flexibility vs Correctness Trade-Off
by: Herrera, Fernando
Published: (2012)

Insights and Perspectives in Rheumatology
Published: (2012)

Current Insights in Pollen Allergens
Published: (2012)

Acute Phase Proteins as Early Non-Specific Biomarkers of Human and Veterinary Diseases
Published: (2011)

New Insights into Systemic Sclerosis
Published: (2019)

Hormesis and Trade-Offs: A Comment
by: Éric Le Bourg, et al.
Published: (2014)

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

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

Systemic Sclerosis An Update on the Aberrant Immune System and Clinical Features
Published: (2012)

Insights into the Etiology, Prevention, and Treatment of Food Allergy
Published: (2020)

EIB Working Paper 2020/09 - Investment vs debt trade-offs in the post-COVID-19 European economy
by: Pál, Rozália
Published: (2020)

EIB Working Paper 2020/09 - Investment vs debt trade-offs in the post-COVID-19 European economy
by: Pál, Rozália
Published: (2020)

Cells of the Immune System
Published: (2020)

Insights on Antimicrobial Peptides
Published: (2022)

Allergic Diseases New Insights
Published: (2015)

Benefits and trade-offs of soil organic carbon sequestration
by: Rumpel, C.
Published: (2023)

Benefits and trade-offs of soil organic carbon sequestration
by: Rumpel, C.
Published: (2023)

CAR-T Cell Therapies for Non-Hematopoietic Malignancies: Taking Off The Training Wheels
Published: (2020)

Trade-off between Efficiency and Equity on the Rationing in Health Insurance System: the Burden on the Poor
by: Manal Etemadi, et al.
Published: (2019)

Autoimmune Disorders Current Concepts and Advances from Bedside to Mechanistic Insights
Published: (2011)

Autoimmunity Pathogenesis, Clinical Aspects and Therapy of Specific Autoimmune Diseases
Published: (2015)

Defining Pathways and Trade-offs Toward Universal Health Coverage Comment on "Ethical Perspective: Five Unacceptable Trade-offs on the Path to Universal Health Coverage"
by: Stéphane Verguet
Published: (2016)

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

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

Trade-off Analysis in Strengthening the Criteria for Master Teacher Promotion
by: Julius Garzon, et al.
Published: (2024)

Die Trade-offs der Nachhaltigkeit Eine Forschungsreise zur dreiwertigen Logik und zu Science Constellations /
by: Groschupp, Steffen
Published: (2022)

Die Trade-offs der Nachhaltigkeit Eine Forschungsreise zur dreiwertigen Logik und zu Science Constellations
by: Groschupp, Steffen
Published: (2022)

Die Trade-offs der Nachhaltigkeit Eine Forschungsreise zur dreiwertigen Logik und zu Science Constellations
by: Groschupp, Steffen
Published: (2022)

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

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

Changes in Climate Vulnerability and Projected Water Stress of The Gambia's Food Supply Between 1988 and 2018: Trading With Trade-Offs
by: Genevieve Hadida, et al.
Published: (2022)

Evaluation of Measles Surveillance Systems in Ginnir District, Bale Zone, Southeast Ethiopia: A Concurrent Embedded Mixed Quantitative/Qualitative Study
by: Kalil FS, et al.
Published: (2021)

Balancing reality in embedded research and evaluation: Low vs high embeddedness
by: George L. Jackson, et al.
Published: (2022)

Forests as Nature-Based Solutions: Ecosystem Services, Multiple Benefits and Trade-Offs
Published: (2022)

Ethical Perspective: Five Unacceptable Trade-offs on the Path to Universal Health Coverage
by: Ole Frithjof Norheim
Published: (2015)

Willingness to Pay and Time Trade-off in Thai Patients with Port-Wine Stains
by: Jantarakolica T, et al.
Published: (2022)

Caregiving time costs and trade-offs: Gender differences in Sweden, the UK, and Canada
by: Maria Stanfors, et al.
Published: (2019)

Lifestyle-Based Intervention and Experiences of Patients with Ulcerative Colitis: A Concurrent Embedded Mixed Methods Design
by: mina mazaheri, et al.
Published: (2021)

Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things /
by: Marwedel, Peter
Published: (2021)

Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things
by: Marwedel, Peter
Published: (2021)