مؤتمر
Formal characterization and efficient verification of a biological robustness property
العنوان: | Formal characterization and efficient verification of a biological robustness property |
---|---|
المؤلفون: | Nasti, Lucia, Gori, Roberta, Milazzo, Paolo |
المصدر: | 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2021 IEEE/ACM 9th International Conference on. :13-18 May, 2021 |
Relation: | 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE) |
قاعدة البيانات: | IEEE Xplore Digital Library |
كن أول من يترك تعليقا!