De Palma, G., Giallorenzo, S., Mauro, J., Trentin, M., Zavattaro, G. (2025). Reachability Analysis of Function-as-a-Service Scheduling Policies. Cham : SPRINGER [10.1007/978-3-032-10794-7_12].

Reachability Analysis of Function-as-a-Service Scheduling Policies

De Palma, Giuseppe;Giallorenzo, Saverio;Trentin, Matteo;Zavattaro, Gianluigi
2025

2025
Integrated Formal Methods. IFM 2025
226
247
De Palma, G., Giallorenzo, S., Mauro, J., Trentin, M., Zavattaro, G. (2025). Reachability Analysis of Function-as-a-Service Scheduling Policies. Cham : SPRINGER [10.1007/978-3-032-10794-7_12].
De Palma, Giuseppe; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi
File in questo prodotto:
File Dimensione Formato  
ifm2025.pdf

embargo fino al 16/11/2026

Tipo: Postprint / Author's Accepted Manuscript (AAM) - versione accettata per la pubblicazione dopo la peer-review
Licenza: Licenza per accesso libero gratuito
Dimensione 482.3 kB
Formato Adobe PDF
482.3 kB Adobe PDF   Visualizza/Apri   Contatta l'autore

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/1030181
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact