Cargando…
Event-B: From Systems to Sub-systems Modeling
Event-B [3] is a formal method that allows the verification of critical systems properties.
| Autor principal: | |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
2020
|
| Materias: | |
| Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7242026/ http://dx.doi.org/10.1007/978-3-030-48077-6_35 |
| _version_ | 1783537164937592832 |
|---|---|
| author | Kraibi, Kenza |
| author_facet | Kraibi, Kenza |
| author_sort | Kraibi, Kenza |
| collection | PubMed |
| description | Event-B [3] is a formal method that allows the verification of critical systems properties. |
| format | Online Article Text |
| id | pubmed-7242026 |
| institution | National Center for Biotechnology Information |
| language | English |
| publishDate | 2020 |
| record_format | MEDLINE/PubMed |
| spelling | pubmed-72420262020-05-22 Event-B: From Systems to Sub-systems Modeling Kraibi, Kenza Rigorous State-Based Methods Article Event-B [3] is a formal method that allows the verification of critical systems properties. 2020-04-22 /pmc/articles/PMC7242026/ http://dx.doi.org/10.1007/978-3-030-48077-6_35 Text en © Springer Nature Switzerland AG 2020 This article is made available via the PMC Open Access Subset for unrestricted research re-use and secondary analysis in any form or by any means with acknowledgement of the original source. These permissions are granted for the duration of the World Health Organization (WHO) declaration of COVID-19 as a global pandemic. |
| spellingShingle | Article Kraibi, Kenza Event-B: From Systems to Sub-systems Modeling |
| title | Event-B: From Systems to Sub-systems Modeling |
| title_full | Event-B: From Systems to Sub-systems Modeling |
| title_fullStr | Event-B: From Systems to Sub-systems Modeling |
| title_full_unstemmed | Event-B: From Systems to Sub-systems Modeling |
| title_short | Event-B: From Systems to Sub-systems Modeling |
| title_sort | event-b: from systems to sub-systems modeling |
| topic | Article |
| url | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7242026/ http://dx.doi.org/10.1007/978-3-030-48077-6_35 |
| work_keys_str_mv | AT kraibikenza eventbfromsystemstosubsystemsmodeling |