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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
2008 1st International Conference on Software Testing, Verification, and Validation : 9-11 April 2008 |
Pubbl/distr/stampa | New York : , : IEEE, , 2008 |
Descrizione fisica | 1 online resource (548 pages) |
Soggetto topico |
Computer software - Verification
Computer software - Validation Computer software - Testing |
ISBN | 1-5090-7417-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996212277703316 |
New York : , : IEEE, , 2008 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
2008 1st International Conference on Software Testing, Verification, and Validation : 9-11 April 2008 |
Pubbl/distr/stampa | New York : , : IEEE, , 2008 |
Descrizione fisica | 1 online resource (548 pages) |
Soggetto topico |
Computer software - Verification
Computer software - Validation Computer software - Testing |
ISBN | 1-5090-7417-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910139864903321 |
New York : , : IEEE, , 2008 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
2008 IEEE International Conference on Software Testing Verification and Validation Workshop : 9-11 April 2008 |
Pubbl/distr/stampa | New York : , : IEEE, , 2008 |
Descrizione fisica | 1 online resource (384 pages) |
Soggetto topico |
Computer software - Testing
Computer software - Validation Computer software - Verification |
ISBN | 1-5090-8173-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996198310803316 |
New York : , : IEEE, , 2008 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
2008 IEEE International Conference on Software Testing Verification and Validation Workshop : 9-11 April 2008 |
Pubbl/distr/stampa | New York : , : IEEE, , 2008 |
Descrizione fisica | 1 online resource (384 pages) |
Soggetto topico |
Computer software - Testing
Computer software - Validation Computer software - Verification |
ISBN | 1-5090-8173-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910139856103321 |
New York : , : IEEE, , 2008 | ||
![]() | ||
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 |
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|