Items where Author is "Giovanni, Liva"

Group by: Item Type | Uncontrolled Keywords | No Grouping

error handling and recovery formal methods software/program verification

Number of items: 3.

error handling and recovery

Giovanni, Liva, Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Pinzger, Martin, Spegni, Francesco and Spalazzi, Luca (2019) Automatic repair of timestamp comparisons. IEEE Transactions on Software Engineering, 47 (11). pp. 2369-2381. ISSN 0098-5589 (doi:https://doi.org/10.1109/TSE.2019.2948351)

formal methods

Giovanni, Liva, Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Pinzger, Martin, Spegni, Francesco and Spalazzi, Luca (2019) Automatic repair of timestamp comparisons. IEEE Transactions on Software Engineering, 47 (11). pp. 2369-2381. ISSN 0098-5589 (doi:https://doi.org/10.1109/TSE.2019.2948351)

software/program verification

Giovanni, Liva, Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Pinzger, Martin, Spegni, Francesco and Spalazzi, Luca (2019) Automatic repair of timestamp comparisons. IEEE Transactions on Software Engineering, 47 (11). pp. 2369-2381. ISSN 0098-5589 (doi:https://doi.org/10.1109/TSE.2019.2948351)

This list was generated on Sat Apr 27 02:32:53 2024 UTC.