IRIS

Sfoglia per Serie  EPIC SERIES IN COMPUTING

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 1 a 5 di 5
Titolo Data di pubblicazione Autore(i) File
ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics 1-gen-2018 Frehse, Goran; Abate, Alessandro; Adzkiya, Dieky; Bu, Lei; Giacobbe, Mirco; Syifa'ul Mufid, Muhammad; Zaffanella, Enea
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics 1-gen-2019 Frehse, Goran; Abate, Alessandro; Adzkiya, Dieky; Becchi, Anna; Bu, Lei; Cimmati, Alessandro; Giacobbe, Mirco; Griggio, Alberto; Mover, Sergio; Syifa'ul Mufid, Muhammad; Riouak, Idriss; Tonetta, Stefano; Zaffanella, Enea
ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking 1-gen-2020 Bu, Lei; Abate, Alessandro; Adzkiya, Dieky; Syifa'Ul Mufid, Muhammad; Ray, Rajarshi; Wu, Yuming; Zaffanella, Enea
ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking 1-gen-2022 Bu, Lei; Frehse, Goran; Kundu, Atanu; Ray, Rajarshi; Shi, Yuhui; Zaffanella, Enea
ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking 1-gen-2022 Bu, Lei; Frehse, Goran; Kundu, Atanu; Ray, Rajarshi; Shi, Yuhui; Zaffanella, Enea
Mostrati risultati da 1 a 5 di 5
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile