Faisal Alhwikem

Search results

• 2023

  Fast Parametric Model Checking with Applications to Software Performability Analysis

  Fang, X., Calinescu, R., Gerasimou, S. & Alhwikem, F., 1 Oct 2023, In: IEEE Transactions on Software Engineering . 49, p. 4707-4730 14 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File