Scorri Autori Unibg  

Opzioni
Risultati da 1 a 20 di 179
Data di pubblicazione Titolo Autore/i Tipologia Documento allegato
1-gen-1996 Specifying, validating, and testing a traffic management system in the TRIO environment Gargantini, Angelo Michele; Liberati, Litia; Morzenti, Angelo; Zacchetti, Cristiano 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-1996 TRIO specification of a steam boiler controller Gargantini, Angelo Michele; Morzenti, Angelo 1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays
1-gen-1997 Providing automated support to deductive analysis of time critical systems Alborghetti, Andrea; Gargantini, Angelo Michele; Morzenti, Angelo 1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays
1-gen-1998 A theory of implementation and refinement in timed Petri nets Felder, Miguel; Gargantini, Angelo Michele; Morzenti, Angelo 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-1999 Dealing with Zero-Time Transitions in Axiom Systems Gargantini, Angelo Michele; Mandrioli, Dino; Morzenti, Angelo 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-1999 Using model checking to generate tests from requirements specifications Gargantini, Angelo Michele; Heitmeyer, Constance 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2000 Encoding Abstract State Machines in PVS Gargantini, Angelo Michele; Riccobene, Elvinia 1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays
1-gen-2001 Automated deductive requirements analysis of critical systems Gargantini, Angelo Michele; Morzenti, Angelo 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2001 ASM-based testing: Coverage criteria and automatic test sequence generation Gargantini, Angelo Michele; Riccobene, Elvinia 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2003 ASM 2003. A double anniversary in Sicily Boerger, Egon; Gargantini, Angelo Michele; Riccobene, Elvinia 1.2 Contributi in volume - Book chapters::1.2.03 Brevi introduzioni - Introductions
1-gen-2003 Automatic Model Driven Animation of SCR Specifications Gargantini, Angelo Michele; Riccobene, Elvinia 1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays
1-gen-2003 Using spin to generate tests from ASM specifications Gargantini, Angelo Michele; Riccobene, Elvinia; Rinzivillo, Salvatore 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2005 ViBBA: A Toolbox for Automatic Model Driven Animation Gargantini, Angelo Michele; Riccobene, Elvinia 1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays
1-gen-2005 Conformance testing Gargantini, Angelo Michele 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2006 Exploiting the ASM method within the Model-driven Engineering paradigm Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia 1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays
1-gen-2006 Deriving a textual notation from a metamodel: an experience on bridging Modelware and Grammarware Riccobene, Elvinia; Scandurra, Patrizia; Gargantini, Angelo Michele 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2006 Automated Verification of Continuous Time Systems by Discrete Temporal Induction Gargantini, Angelo Michele; Morzenti, Angelo 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2007 AsmEE: an Eclipse plug-in in a metamodel based framework for the Abstract State Machines Riccobene, Elvinia; Gargantini, Angelo Michele; Scandurra, Patrizia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2007 A Metamodel-based Simulator for ASMs Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2007 Using Model Checking to Generate Fault Detecting Tests Gargantini, Angelo Michele 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
Risultati da 1 a 20 di 179
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