Buchumschlag

Towards the Design of Safety-Critical Software

Fuente: Redalyc

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	R. Rafeh
Format:	Artículo científico
Sprache:	en
Veröffentlicht:	Universidad Nacional Autónoma de México 2013
Schlagworte:	Ingeniería CIIP Safety hazard formal languages critical software
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Development and Validation of Software CRISIS to Perform Probabilistic Seismic Hazard Assessment with Emphasis on the Recent CRISIS2015
von: Armando Aguilar-Meléndez
Veröffentlicht: (2017)

Fundamental Approaches to Software Engineering
Veröffentlicht: (2018)

La especificación formal en contexto: actual y futuro
von: Edgar Serna M.
Veröffentlicht: (2014)

Frontiers of Combining Systems
Veröffentlicht: (2023)

ANÁLISIS DE ESTABILIDAD DE TALUDES CONSIDERANDO LA INCERTIDUMBRE DE LOS DATOS: CASO COMUNIDAD DE MANSIONES DE MONTES DE OCA, SAN JOSÉ, COSTA RICA
von: Rolando Mora
Veröffentlicht: (2012)

CRITICAL INFRASTRUCTURES: THREATS, VULNERABILITIES AND PROTECTION
von: Danijela D. Protić
Veröffentlicht: (2016)

Landslides in Tijuana, Mexico: hazard assessment in an urban Neighborhood
von: Aldo Onel Oliva González
Veröffentlicht: (2023)

Computer Aided Verification
Veröffentlicht: (2023)

Computer Aided Verification
Veröffentlicht: (2023)

Modelo formal para la reestructura de marcos orientados a objetos hacia arquitecturas modelo-vista-adaptador
von: René Santaolaya-Salgado
Veröffentlicht: (2014)

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
Veröffentlicht: (2018)

Métodos formales e Ingeniería de Software
von: Edgar Serna Montoya
Veröffentlicht: (2010)

Computer Aided Verification
Veröffentlicht: (2023)

GeoHazards
Veröffentlicht: (2021)

Automated Deduction – CADE 29
Veröffentlicht: (2023)

Occupation and health hazards in Nigerian coastal artisanal fisheries
von: Udolisa, R.E.K., et al.
Veröffentlicht: (2010)

Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Veröffentlicht: (2018)

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Veröffentlicht: (2018)

ESTUDIO COMPARATIVO DE LOS PLANES DE ACTUACIÓN FRENTE AL RIESGO VOLCÁNICO (CHILE, COSTA RICA, EL SALVADOR, ECUADOR, ESPAÑA, MÉXICO Y NICARAGUA)
von: Ona Corominas
Veröffentlicht: (2015)

A Modeling Approach for Lahar Hazard Assessment: the Case of Tamasagra Sector in the City of Pasto, Colombia
von: Alejandra Guerrero
Veröffentlicht: (2019)

Learning English From a Critical, Intercultural Perspective: The Journey of Preservice Language Teachers
von: Claudia Patricia Gutiérrez
Veröffentlicht: (2022)

Métodos formales aplicados a la industria del software
von: Fernández y Fernández, Carlos Alberto
Veröffentlicht: (2011)

Language Policy in Africa
Veröffentlicht: (2026)

Analysis of NOM-026-STPS-2008 in the manufacturing laboratory to improve productivity
von: Claudia Rivera-Domínguez
Veröffentlicht: (2019)

A Necessary Formation-Theoretic Invariant Against Illegitimate Propositional Lifting 3
von: Salhab, Najih
Veröffentlicht: (2026)

Graphic specification of abstract data types
von: Ricardo Contreras
Veröffentlicht: (2004)

Critical Consciousness in Dual Language Bilingual Education
Veröffentlicht: (2023)

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
von: Ahmed, Amal
Veröffentlicht: (2018)

SOCIAL GEOLOGY: A NEW PERSPECTIVE ON GEOLOGY
von: JOSEP M. MATA-PERELLÓ
Veröffentlicht: (2012)

Rainfall-intensity effect on landslide hazard assessment due to climate change in north-western Colombian Andes
von: Edier Aristizábal
Veröffentlicht: (2022)

Modelo formal de pruebas funcionales de software para alcanzar el Nivel de Madurez Integrado 2
von: Milton Eduardo Escobar-Sánchez
Veröffentlicht: (2015)

Methodology for the Synthesis of Automata in the Planning of Movements for Autonomous Systems with Multiple Agents
von: Jorge Luis Martínez-Valencia
Veröffentlicht: (2021)

The Use of Programming Languages and Computer Software in Psychological Science
von: Nelson Torro-Alves
Veröffentlicht: (2014)

Seismogenic fault and area sources for probabilistic seismic hazard model in Slovenia
von: Atanackov, Jure, et al.
Veröffentlicht: (2022)

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
Veröffentlicht: (2018)

Knowledge Extraction from the Language Extended Lexicon Glossary Using Natural Language Processing
von: Leandro Antonelli
Veröffentlicht: (2024)

Development of a Computational Tool to Evaluate the Energy Diversification of Transportation Systems in Colombia
von: Juan Carlos Blandón Andrade
Veröffentlicht: (2022)

ROCKFALL HAZARD ASSESSMENT AND GEOLOGICAL-GEOTECHNICAL CHARACTERIZATION OF A ROCK SLOPE IN BR-356
von: Denise de Fátima Santos da Silva
Veröffentlicht: (2020)

An Extended Notion of Backward Compatibility
von: Jants, Kaaren
Veröffentlicht: (2026)

A Counting Logic for Trees
von: Everardo Bárcenas
Veröffentlicht: (2015)