CRIS Current Research Information System

De Palma, G., Giallorenzo, S., Mauro, J., Trentin, M., Zavattaro, G. (2025). Reachability Analysis of Function-as-a-Service Scheduling Policies [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 [10.1007/978-3-032-10794-7_12].
De Palma, Giuseppe; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi
File in questo prodotto:
Eventuali allegati, non sono esposti

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
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact