Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 5 di 5
Titolo Data di pubblicazione Autore(i) File
MIST: monitor generation from informal specifications for firmware verification 1-gen-2020 Germiniani, Samuele; Bragaglio, Moreno; Pravadelli, Graziano
System-level bug explanation through program slicing and instruction clusterization 1-gen-2021 Bragaglio, Moreno; Donatelli, Nicola; Germiniani, Samuele; Pravadelli, Graziano
From Informal Specifications to an ABV Framework for Industrial Firmware Verification 1-gen-2021 Germiniani, Samuele; Bragaglio, Moreno; Pravadelli, Graziano
Assertion-aware approximate computing design exploration on behavioral models 1-gen-2022 Bosio, Alberto; Bragaglio, Moreno; Germiniani, Samuele; Mori, Samuele; Pravadelli, Graziano; Traiola, Marcello
Exploiting Program Slicing and Instruction Clusterization to Identify the Cause of Faulty Temporal Behaviours at System Level 1-gen-2022 Bragaglio, M; Germiniani, S; Pravadelli, G
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