Zobrazeno 1 - 1
of 1
pro vyhledávání: '"S. Lizeth Tarifa"'
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
