:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	R. Rafeh
Format:	Artículo científico
Language:	en
Published:	Universidad Nacional Autónoma de México 2013
Subjects:	Ingeniería CIIP Safety hazard formal languages critical software
Online Access:	https://www.redalyc.org/articulo.oa?id=47429697007
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Fundamental Approaches to Software Engineering
Published: (2018)

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

La especificación formal en contexto: actual y futuro
by: Edgar Serna M.
Published: (2014)

Frontiers of Combining Systems
Published: (2023)

Modelo formal para la reestructura de marcos orientados a objetos hacia arquitecturas modelo-vista-adaptador
by: René Santaolaya-Salgado
Published: (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
Published: (2018)

Computer Aided Verification
Published: (2023)

Computer Aided Verification
Published: (2023)

CRITICAL INFRASTRUCTURES: THREATS, VULNERABILITIES AND PROTECTION
by: Danijela D. Protić
Published: (2016)

Automated Deduction – CADE 29
Published: (2023)

Computer Aided Verification
Published: (2023)

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
Published: (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
Published: (2018)

Landslides in Tijuana, Mexico: hazard assessment in an urban Neighborhood
by: Aldo Onel Oliva González
Published: (2023)

Métodos formales e Ingeniería de Software
by: Edgar Serna Montoya
Published: (2010)

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

A Necessary Formation-Theoretic Invariant Against Illegitimate Propositional Lifting 3
by: Salhab, Najih
Published: (2026)

Occupation and health hazards in Nigerian coastal artisanal fisheries
by: Udolisa, R.E.K., et al.
Published: (2010)

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
by: Ahmed, Amal
Published: (2018)

A Modeling Approach for Lahar Hazard Assessment: the Case of Tamasagra Sector in the City of Pasto, Colombia
by: Alejandra Guerrero
Published: (2019)

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

Graphic specification of abstract data types
by: Ricardo Contreras
Published: (2004)

GeoHazards
Published: (2021)

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

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
Published: (2018)

Programming Languages and Systems
Published: (2022)

Language Policy in Africa
Published: (2026)

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)
by: Ona Corominas
Published: (2015)

Analysis of NOM-026-STPS-2008 in the manufacturing laboratory to improve productivity
by: Claudia Rivera-Domínguez
Published: (2019)

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

Knowledge Extraction from the Language Extended Lexicon Glossary Using Natural Language Processing
by: Leandro Antonelli
Published: (2024)

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

SOCIAL GEOLOGY: A NEW PERSPECTIVE ON GEOLOGY
by: JOSEP M. MATA-PERELLÓ
Published: (2012)

Learning English From a Critical, Intercultural Perspective: The Journey of Preservice Language Teachers
by: Claudia Patricia Gutiérrez
Published: (2022)

Computer Aided Verification
Published: (2021)

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

A Counting Logic for Trees
by: Everardo Bárcenas
Published: (2015)

Towards a framework for deriving platform-independent model-driven software product lines
by: Andrés Paz
Published: (2013)

The Use of Programming Languages and Computer Software in Psychological Science
by: Nelson Torro-Alves
Published: (2014)

Análisis sistémico en la generación cultural de una comunidad virtual de aprendizaje
by: Germán Alejandro Miranda Díaz
Published: (2013)