Zobrazeno 1 - 3
of 3
pro vyhledávání: '"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
https://doi.org/10.5220/0005618003160327
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642002540
IFM
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
https://doi.org/10.1007/978-3-642-00255-7_16
Autor:
Michael Leuschel, Heike Wehrheim
This book constitutes the refereed proceedings of the 7th International Conference on Integrated Formal Methods, IFM 2009, held in Düsseldorf, Germany in February 2009. The 21 revised full papers presented together with 3 invited papers were careful