| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990000519990403321 |
|
|
Autore |
Yourdon, Edward |
|
|
Titolo |
Analisi strutturata dei sistemi : concetti e metodi / Edward Yourdon |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNINA9910590071803321 |
|
|
Titolo |
Computer Safety, Reliability, and Security : 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6–9, 2022, Proceedings / / edited by Mario Trapp, Francesca Saglietti, Marc Spisländer, Friedemann Bitsch |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2022.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (383 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 1611-3349 ; ; 13414 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer engineering |
Computer networks |
Computer programming |
Programming languages (Electronic computers) |
Computers |
Computer science |
Application software |
Computer Engineering and Networks |
Programming Techniques |
Programming Language |
Computing Milieux |
|
|
|
|
|
|
|
|
|
|
|
|
Theory of Computation |
Computer and Information Systems Applications |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Safety Analysis and Certification -- Assurance Cases -- Fault Detection, Monitoring and Tolerance -- Security and Safety -- Fault Injection -- Object Detection and Perception -- Testing. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the proceedings of the 41st International Conference on Computer Safety, Reliability and Security, SAFECOMP 2022, which took place in Munich, Germany, in September 2022. The 24 full papers included in this volume were carefully reviewed and selected from 93 submissions. SafeComp has contributed to the progress of the state-of-the-art in dependable application of computers in safety-related and safety-critical systems. SafeComp is an annual event covering the state-of-the-art, experience and new trends in the areas of safety, security and reliability of critical computer applications. |
|
|
|
|
|
|
|
| |