Using high-level Petri nets for testing concurrent and real-time systems
1990-01-01 Morasca, Sandro; Pezze, M.
Validation of concurrent Ada programs using symbolic execution
1989-01-01 Morasca, Sandro; Pezze, M.
A new timed Petri net model for hardware representation
1991-01-01 Buonanno, G.; Morasca, Sandro; Pezze, M.; Portman, K.; Sciuto, D.
Extending software complexity metrics to concurrent programs
1990-01-01 De Paoli, F.; Morasca, Sandro
IL teatro delle immagini e la magia di Gerolamo Cardano
2003-01-01 Bonvecchio, Claudio
La latinitas e l'impero.
2003-01-01 Bonvecchio, Claudio
Uniti nella differenza. Il destino del meditterraneo
2004-01-01 Bonvecchio, Claudio
Functional test case generation for real-time systems
1992-01-01 Mandrioli, D.; Morasca, Sandro; Morzenti, A.
Generating functional test cases in-the-large for time-critical systems from logic-based specifications
1996-01-01 Morasca, Sandro; Morzenti, A.; San Pietro, P.
Measuring and assessing maintainability at the end of high level design
1993-01-01 Briand, L.; Morasca, Sandro; Basili, V.
Knowledge Discovery from Software Engineering Measurement Data: A Comparative Study of Two Analysis Techniques
1997-01-01 Morasca, Sandro; Ruhe, G.
Evoluzione della iridopatia diabetica dopo vitrectomia.
1990-01-01 Menchini, U; Azzolini, Claudio; Giuliani, V; Brancato, R.
Effetti della infusione in camera anteriore di mannitolo al 2,5% nell'intervento di cataratta con impianto di cristallino artificiale: risultati preliminari
1988-01-01 Menchini, U; Scialdone, A; Azzolini, Claudio; Carones, F; Fantaguzzi, S.
Profilassi del distacco di retina
1989-01-01 Brancato, R; Azzolini, Claudio
Towards A Theoretical Framework For Measuring Software Attributes
1997-01-01 Morasca, Sandro; Briand, L.
Retinopatia della prematurità: cinque anni di studio e prevenzione
1987-01-01 Beltrame, G; Azzolini, Claudio; De Marini, S.
Rotture retiniche acute senza distacco di retina: considerazioni sulla scelta del trattamento
1988-01-01 Brancato, R; Menchini, U; Azzolini, Claudio
Retinopatia della prematurità: casistica personale
1986-01-01 Beltrame, P; Azzolini, Claudio; De Marini, S.
Considerazioni su alcuni aspetti clinici, patogenetici ed epidemiologici della retinopatia della prematurità
1985-01-01 Beltrame, G; Azzolini, Claudio
L’incisione nell'intervento di estrazione di cataratta. Considerazioni sulle varie tecniche
1986-01-01 Brusini, P; Azzolini, Claudio; Miani, P.
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
Scopri
Tipologia
- Atti di Convegno3782
Data di pubblicazione
- In corso di stampa7
- 2020 - 2026536
- 2010 - 20191597
- 2000 - 20091063
- 1990 - 1999376
- 1980 - 1989178
- 1971 - 197925
Editore
- Institute of Electrical and Elect...102
- Springer93
- IEEE Computer Society78
- IEEE72
- ACM50
- Springer Verlag45
- CEUR-WS27
- Optica Publishing Group (formerly...27
- WITPress23
- Springer Science and Business Med...22
Rivista
- GIORNALE ITALIANO DI MEDICINA DEL...3
- ACM INTERNATIONAL CONFERENCE PROC...1
- CLINICAL TOXICOLOGY1
- IEEE TRANSACTIONS ON NEURAL SYSTE...1
- INTERNATIONAL JOURNAL OF ENERGY P...1
- JAHRBUCH FÜR INTERNATIONALE GERMA...1
- LECTURE NOTES IN COMPUTER SCIENCE1
- NEUROCOMPUTING1
- RIVISTA ARCHEOLOGICA DELL'ANTICA ...1
Serie
- LECTURE NOTES IN COMPUTER SCIENCE66
- CEUR WORKSHOP PROCEEDINGS53
- Optics InfoBase Conference Papers38
- PROCEEDINGS OF SPIE, THE INTERNAT...29
- LECTURE NOTES IN ARTIFICIAL INTEL...25
- WIT TRANSACTIONS ON ECOLOGY AND T...17
- AIP CONFERENCE PROCEEDINGS13
- WIT TRANSACTIONS ON ECOLOGY AND T...12
- INTERNATIONAL ASTRONAUTICAL CONGR...8
- LECTURE NOTES IN COMPUTER SCIENCE8
Keyword
- MSW40
- Computer Networks and Communications22
- bio-drying21
- Physics and Astronomy (all)21
- Electrical and Electronic Enginee...20
- Computer Science (all)18
- Nuclear and High Energy Physics18
- SETI18
- Software18
- selective collection17
Lingua
- eng1304
- ita362
- fre16
- spa8
- ger5
- rus3
- gre2
- und2
- enm1
- mul1
Accesso al fulltext
- no fulltext3344
- reserved291
- open137
- restricted10