Výsledky vyhledávání - "Abigail Parisaca Vargas"

Using Ontologies to Support Model-based Exploration of the Dependencies between Causes and Consequences of Hazards

Autor: Robin Bloomfield, Abigail Parisaca Vargas

Publikováno v: KEOD

Hazard identification and hazard analysis are difficult and essential parts of safety engineering. These activities are very demanding and mostly manual. There is an increasing need for improved analysis tools and techniques. In this paper we report

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::2a9bfe47ee036d8b7a27b93a1ac07918
https://doi.org/10.5220/0005618003160327

Zobrazit plný text záznamu

Model Checking LTL Formulae in RAISE with FDR

Autor: Chris George, S. Lizeth Tarifa, Abigail Parisaca Vargas, Ana Gabriela Garis

Publikováno v: Lecture Notes in Computer Science ISBN: 9783642002540
IFM

The Raise Specification Language (RSL) is a modeling language which supports various specification styles. To apply model checking to RSL concurrent descriptions, we translate RSL specifications into the input language CSPM of FDR. FDR is the model c

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::dd0da3bb61b44c998c21d7d538a858f5
https://doi.org/10.1007/978-3-642-00255-7_16

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání