Cargando…

Formal methods: practical applications and foundations: Editorial

Mostrar otras versiones (1)

Detalles Bibliográficos
Autores principales:	ter Beek, Maurice H., McIver, Annabelle
Formato:	Online Artículo Texto
Lenguaje:	English
Publicado:	Springer US 2022
Materias:	Article
Acceso en línea:	https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8788392/ https://www.ncbi.nlm.nih.gov/pubmed/35095202 http://dx.doi.org/10.1007/s10703-022-00388-6

Ejemplares similares

Formal methods: practical applications and foundations: Editorial
por: ter Beek, Maurice H., et al.
Publicado: (2021)

Editorial
por: McIver, Annabelle, et al.
Publicado: (2021)

Formal methods - the next 30 years: third world congress, FM 2019, Porto, Portugal, October 7-11, 2019, proceedings
por: ter Beek, Maurice H, et al.
Publicado: (2019)

Formal concept analysis: foundations and applications
por: Ganter, Bernhard, et al.
Publicado: (2005)

From software engineering to formal methods and tools, and back: essays dedicated to Stefania Gnesi on the occasion of her 65th birthday
por: ter Beek, Maurice H, et al.
Publicado: (2019)

Model theory and the philosophy of mathematical practice: formalization without foundationalism
por: Baldwin, John T
Publicado: (2018)

From classical to quantum mechanics: an introduction to the formalism, foundations and applications
por: Esposito, Giampiero, et al.
Publicado: (2004)

Formal concept analysis: mathematical foundations
por: Ganter, Bernhard, et al.
Publicado: (1996)

Informal and formal mathematics interventions: cognitive foundations
por: Geary, David C, et al.
Publicado: (2019)

From Clinical Records to Regulatory Reporting: Formal Terminologies as Foundation
por: Harris, Marcelline R., et al.
Publicado: (2003)

Editorial: Computational Methods for Understanding Complexity: The Use of Formal Methods in Biology
por: Rosenblueth, David A.
Publicado: (2016)

P03.16. Developing and Evaluating a Yoga Intervention for Cancer Patients: A Case Study
por: McIver, Shane
Publicado: (2013)

Indian givers : how the Indians of the Americas transformed the world
por: Weatherford, J. McIver
Publicado: (1988)

An introduction to practical formal methods using temporal logic
por: Fisher, Michael
Publicado: (2011)

Caregiver Feeding Practices as Predictors for Child Dietary Intake in Low-Income, Appalachian Communities
por: McIver, Mikaela B., et al.
Publicado: (2021)

Halometric Readings in Indians: A Preliminary Note
por: McIver, Colin, et al.
Publicado: (1931)

The Impact of COVID-19 on Knowledge, Beliefs, and Practices of Ni-Vanuatu Health Workers Regarding Antibiotic Prescribing and Antibiotic Resistance, 2018 and 2022: A Mixed Methods Study
por: Foxlee, Nicola D., et al.
Publicado: (2023)

Wikipedia Usage Estimates Prevalence of Influenza-like Illness in Near Real-Time
por: McIver, David, et al.
Publicado: (2015)

The So-Called "Swallowed" Foreign Body
por: McIver, Colin, et al.
Publicado: (1930)

A Case of Dentigerous Cyst: Follicular Odontome
por: McIver, Colin, et al.
Publicado: (1930)

Evaluation and Management of Indeterminate Thyroid Nodules: The Revolution of Risk Stratification Beyond Cytological Diagnosis
por: Valderrabano, Pablo, et al.
Publicado: (2017)

Handbook of mathematical techniques for wavestructure interactions
por: Linton, CM, et al.
Publicado: (2001)

A Formal Specification Method for PLC-based Applications
por: Darvas, Dániel, et al.
Publicado: (2015)

Wikipedia Usage Estimates Prevalence of Influenza-Like Illness in the United States in Near Real-Time
por: McIver, David J., et al.
Publicado: (2014)

Sistemas operativos /
por: McHoes, Ann McIver, 1950-
Publicado: (2011)

Formal groups and applications
por: Hazewinkel, Michiel
Publicado: (2012)

Formal groups and applications
por: Hazewinkel, Michiel
Publicado: (1978)

Understanding formal methods /
por: Monin, Jean François, 1960-
Publicado: (2003)

Formal methods in manufacturing
por: Campos, Javier, et al.
Publicado: (2014)

Formal Methods in Manufacturing
por: Campos, Javier, et al.
Publicado: (2018)

Introduction to formal grammars
por: Gross, Maurice, et al.
Publicado: (1970)

ACID-BASE COMPOSITION OF PANCREATIC JUICE AND BILE
por: Gamble, James L., et al.
Publicado: (1928)

BODY FLUID CHANGES DUE TO CONTINUED LOSS OF THE EXTERNAL SECRETION OF THE PANCREAS
por: Gamble, James L., et al.
Publicado: (1928)

THE ACID-BASE COMPOSITION OF GASTRIC SECRETIONS
por: Gamble, James L., et al.
Publicado: (1928)

Health Impacts of Climate Change in Vanuatu: An Assessment and Adaptation Action Plan
por: Spickett, Jeffery T, et al.
Publicado: (2013)

Reviewing evidence of the clinical effectiveness of commercially available antivenoms in sub-Saharan Africa identifies the need for a multi-centre, multi-antivenom clinical trial
por: Potet, Julien, et al.
Publicado: (2019)

Formal methods for industrial critical systems: a survey of applications
por: Gnesi, Stefania, et al.
Publicado: (2012)

Correction to: NASA Formal Methods
por: Lee, Ritchie, et al.
Publicado: (2020)

Classical and new paradigms of computation and their complexity hierarchies: papers of the conference “foundations of the formal sciences III”
por: Löwe, Benedikt, et al.
Publicado: (2004)

Co-destruction Patterns in Crowdsourcing: Formal/Technical Paper
por: Bidar, Reihaneh, et al.
Publicado: (2020)

Cannot write session to /tmp/vufind_sessions/sess_glj723vf3uphgt9b0jm1slmqlb