Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
1711.2-2019 - IEEE Standard for Secure SCADA Communications Protocol (SSCP) / / Institute of Electrical and Electronics Engineers
| 1711.2-2019 - IEEE Standard for Secure SCADA Communications Protocol (SSCP) / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | New York, New York : , : IEEE, , 2020 |
| Descrizione fisica | 1 online resource (37 pages) |
| Disciplina | 005.14 |
| Soggetto topico |
Computer security
Computer software - Verification |
| ISBN | 1-5044-6313-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | 1711.2-2019 - IEEE Standard for Secure SCADA Communications Protocol |
| Record Nr. | UNINA-9910389519903321 |
| New York, New York : , : IEEE, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
1711.2-2019 - IEEE Standard for Secure SCADA Communications Protocol (SSCP) / / Institute of Electrical and Electronics Engineers
| 1711.2-2019 - IEEE Standard for Secure SCADA Communications Protocol (SSCP) / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | New York, New York : , : IEEE, , 2020 |
| Descrizione fisica | 1 online resource (37 pages) |
| Disciplina | 005.14 |
| Soggetto topico |
Computer security
Computer software - Verification |
| ISBN | 1-5044-6313-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | 1711.2-2019 - IEEE Standard for Secure SCADA Communications Protocol |
| Record Nr. | UNISA-996574867603316 |
| New York, New York : , : IEEE, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2003 IEEE International Workshop High Level Design Validation and Test
| 2003 IEEE International Workshop High Level Design Validation and Test |
| Pubbl/distr/stampa | [Place of publication not identified], : I E E E, 2003 |
| Descrizione fisica | 1 online resource (viii, 178 pages) : illustrations |
| Disciplina | 005.14 |
| Soggetto topico | Computer software - Verification |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996202920103316 |
| [Place of publication not identified], : I E E E, 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2005 IEEE International High Level Design Validation and Test Workshop
| 2005 IEEE International High Level Design Validation and Test Workshop |
| Pubbl/distr/stampa | [Place of publication not identified], : I E E E, 2005 |
| Descrizione fisica | 1 online resource (viii, 250 pages) : illustrations |
| Disciplina | 005.14 |
| Soggetto topico | Computer software - Verification |
| ISBN | 1-5090-9725-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Simulation-based functional test generation for embedded processors,"C. -- Scalable defect mapping and configuration of memory-based nanofabrics,"Chen -- Improvement of fault injection techniques based on VHDL code modification,"J. -- MVP: a mutation-based validation paradigm,"J. -- Establishing latch correspondence for embedded circuits of PowerPC microprocessors,"H. -- Sequential equivalence checking based on k-th invariants and circuit SAT solving,"Feng -- VERISEC: verifying equivalence of sequential circuits using SAT,"M. -- Automated clock inference for stream function-based system level specifications,"J. -- Cosimulation of ITRON-based embedded software with SystemC,"S. -- A software test program generator for verifying system-on-chips,"A. -- Stimulus generation for interface protocol verification using the nondeterministic extended finite state machine model,"Che-Hua -- DVGen: a test generator for the transmeta Efficeon VLIW processor,"K. -- Reuse in system-level stimuli-generation,"Y. -- Harnessing machine learning to improve the success rate of stimuli generation,"S. -- A new simulation-based property checking algorithm based on partitioned alternative search space traversal,"Qingwei -- Validating families of latency insensitive protocols,"S. -- GASIM: a fast Galois field based simulator for functional model,"D. -- Overlap reduction in symbolic system traversal,"P. -- Formal verification of high-level conformance with symbolic simulation,"R. -- A method for generation of GSTE assertion graphs,"E. -- Automatic abstraction refinement for Petri nets verification,"Zhenyu -- An optimum algorithm for compacting error traces for efficient functional debugging,"Chia-Chih -- Increasing the deducibility in CNF instances for efficient SAT-based bounded model checking,"V. -- B-cubing theory: new possibilities for efficient SAT-solving,"D. -- Multilevel design validation in a secure embedded system,"D. -- Security evaluation against electromagnetic analysis at design time,"Huiyun -- Formal meaning of coverage metrics in simulation-based hardware design verification,"I. -- Advanced analysis techniques for cross-product coverage,"H. -- A proof of correctness for the construction of property monitors,". |
| Record Nr. | UNINA-9910142188403321 |
| [Place of publication not identified], : I E E E, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2005 IEEE International High Level Design Validation and Test Workshop
| 2005 IEEE International High Level Design Validation and Test Workshop |
| Pubbl/distr/stampa | [Place of publication not identified], : I E E E, 2005 |
| Descrizione fisica | 1 online resource (viii, 250 pages) : illustrations |
| Disciplina | 005.14 |
| Soggetto topico | Computer software - Verification |
| ISBN | 1-5090-9725-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Simulation-based functional test generation for embedded processors,"C. -- Scalable defect mapping and configuration of memory-based nanofabrics,"Chen -- Improvement of fault injection techniques based on VHDL code modification,"J. -- MVP: a mutation-based validation paradigm,"J. -- Establishing latch correspondence for embedded circuits of PowerPC microprocessors,"H. -- Sequential equivalence checking based on k-th invariants and circuit SAT solving,"Feng -- VERISEC: verifying equivalence of sequential circuits using SAT,"M. -- Automated clock inference for stream function-based system level specifications,"J. -- Cosimulation of ITRON-based embedded software with SystemC,"S. -- A software test program generator for verifying system-on-chips,"A. -- Stimulus generation for interface protocol verification using the nondeterministic extended finite state machine model,"Che-Hua -- DVGen: a test generator for the transmeta Efficeon VLIW processor,"K. -- Reuse in system-level stimuli-generation,"Y. -- Harnessing machine learning to improve the success rate of stimuli generation,"S. -- A new simulation-based property checking algorithm based on partitioned alternative search space traversal,"Qingwei -- Validating families of latency insensitive protocols,"S. -- GASIM: a fast Galois field based simulator for functional model,"D. -- Overlap reduction in symbolic system traversal,"P. -- Formal verification of high-level conformance with symbolic simulation,"R. -- A method for generation of GSTE assertion graphs,"E. -- Automatic abstraction refinement for Petri nets verification,"Zhenyu -- An optimum algorithm for compacting error traces for efficient functional debugging,"Chia-Chih -- Increasing the deducibility in CNF instances for efficient SAT-based bounded model checking,"V. -- B-cubing theory: new possibilities for efficient SAT-solving,"D. -- Multilevel design validation in a secure embedded system,"D. -- Security evaluation against electromagnetic analysis at design time,"Huiyun -- Formal meaning of coverage metrics in simulation-based hardware design verification,"I. -- Advanced analysis techniques for cross-product coverage,"H. -- A proof of correctness for the construction of property monitors,". |
| Record Nr. | UNISA-996199541903316 |
| [Place of publication not identified], : I E E E, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2012 Joint Conference of the 22nd International Workshop on Software Measurement and the 2012 Seventh International Conference on Software Process and Product Measurement
| 2012 Joint Conference of the 22nd International Workshop on Software Measurement and the 2012 Seventh International Conference on Software Process and Product Measurement |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2012 |
| Descrizione fisica | 1 online resource (xviii, 232 pages) |
| Disciplina | 005.14 |
| Soggetto topico | Software measurement |
| ISBN | 0-7695-4840-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910133607203321 |
| [Place of publication not identified], : IEEE, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2012 Joint Conference of the 22nd International Workshop on Software Measurement and the 2012 Seventh International Conference on Software Process and Product Measurement
| 2012 Joint Conference of the 22nd International Workshop on Software Measurement and the 2012 Seventh International Conference on Software Process and Product Measurement |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2012 |
| Descrizione fisica | 1 online resource (xviii, 232 pages) |
| Disciplina | 005.14 |
| Soggetto topico | Software measurement |
| ISBN | 0-7695-4840-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996279450803316 |
| [Place of publication not identified], : IEEE, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2015 IEEE Eighth International Conference on Software Testing, Verification, and Validation Workshops (ICSTW) : proceedings : April 13-17, 2015, Graz, Austria / / Institute of Electrical and Electronics Engineers
| 2015 IEEE Eighth International Conference on Software Testing, Verification, and Validation Workshops (ICSTW) : proceedings : April 13-17, 2015, Graz, Austria / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : IEEE, , 2015 |
| Descrizione fisica | 1 online resource : illustrations |
| Disciplina | 005.14 |
| Soggetto topico |
Computer software - Testing
Computer software - Validation Computer software - Verification |
| ISBN | 1-4799-1885-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops
2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) Software Testing, Verification and Validation Workshops |
| Record Nr. | UNINA-9910135624903321 |
| Piscataway, New Jersey : , : IEEE, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2015 IEEE Eighth International Conference on Software Testing, Verification, and Validation Workshops (ICSTW) : proceedings : April 13-17, 2015, Graz, Austria / / Institute of Electrical and Electronics Engineers
| 2015 IEEE Eighth International Conference on Software Testing, Verification, and Validation Workshops (ICSTW) : proceedings : April 13-17, 2015, Graz, Austria / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : IEEE, , 2015 |
| Descrizione fisica | 1 online resource : illustrations |
| Disciplina | 005.14 |
| Soggetto topico |
Computer software - Testing
Computer software - Validation Computer software - Verification |
| ISBN | 1-4799-1885-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops
2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) Software Testing, Verification and Validation Workshops |
| Record Nr. | UNISA-996279401403316 |
| Piscataway, New Jersey : , : IEEE, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2016 1st IEEE International Verification and Security Workshop : 4-6 July 2016, St. Feliu de Guixols, Spain / / IEEE Computer Society, Technical Council on Test Technology
| 2016 1st IEEE International Verification and Security Workshop : 4-6 July 2016, St. Feliu de Guixols, Spain / / IEEE Computer Society, Technical Council on Test Technology |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2016 |
| Descrizione fisica | 1 online resource (13 pages) |
| Disciplina | 005.14 |
| Soggetto topico |
Electronic systems - Security measures
Computer software - Verification Computer security |
| ISBN | 1-5090-1141-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910332541403321 |
| Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
