Scorri Rivista  SCIENCE OF COMPUTER PROGRAMMING

Opzioni
Parti dalla lettera: 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

Risultati da 1 a 4 di 4
Data di pubblicazione Titolo Autore/i Tipologia Documento allegato
1-gen-2014 Adaptation space exploration for service-oriented applications Mirandola, Raffaela; Potena, Pasqualina; Scandurra, Patrizia 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2018 Integrating formal methods into medical software development: The ASM approach Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo Michele; Mashkoor, Atif; Riccobene, Elvinia 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2014 Test generation for sequential nets of Abstract State Machines with information passing Arcaini, Paolo; Gargantini, Angelo Michele 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2018 Zone-based formal specification and timing analysis of real-time self-adaptive systems Camilli, Matteo; Gargantini, Angelo Michele; Scandurra, Patrizia 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
Risultati da 1 a 4 di 4
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