Published May 13, 2021
| Version v1
Publication
Supplementary data for FMICS 2021 publication "A Case Study in Formal Analysis of System Requirements"
Creators
- 1. Institute of Information Science and Technologies
- 2. Institute of Scientific and Technical Information of China
Description
Supplementary data for FMICS 2021 publication "A Case Study in Formal Analysis of System Requirements": UMC, ProB, LNT Models, SECURail Deliverables Translation Tools (source code)
Translated Descriptions
⚠️
This is an automatic machine translation with an accuracy of 90-95%
Translated Description (Arabic)
بيانات تكميلية لمنشور FMICS 2021 "دراسة حالة في التحليل الرسمي لمتطلبات النظام ": نماذج UMC و ProB و LNT وأدوات ترجمة مخرجات SECURail (شفرة المصدر)Translated Description (French)
Données supplémentaires pour la publication FMICS 2021 "A Case Study in Formal Analysis of System Requirements" : UMC, ProB, LNT Models, SECURail Deliverables Translation Tools (code source)Translated Description (Spanish)
Datos complementarios para la publicación de FMICS 2021 "A Case Study in Formal Analysis of System Requirements": UMC, ProB, LNT Models, SECURail Deliverables Translation Tools (código fuente)Additional details
Additional titles
- Translated title (Arabic)
- بيانات تكميلية لمنشور FMICS 2021 "دراسة حالة في التحليل الرسمي لمتطلبات النظام"
- Translated title (French)
- Données supplémentaires pour la publication FMICS 2021 « A Case Study in Formal Analysis of System Requirements »
- Translated title (Spanish)
- Datos complementarios para la publicación de FMICS 2021 "A Case Study in Formal Analysis of System Requirements"
Identifiers
- Other
- https://openalex.org/W4393923540
- DOI
- 10.5281/zenodo.4756862