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.
Assessing COVID-19 and Other Pandemics and Epidemics Using Computational Modelling and Data Analysis
| Assessing COVID-19 and Other Pandemics and Epidemics Using Computational Modelling and Data Analysis |
| Autore | Pani Subhendu Kumar |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing AG, , 2022 |
| Descrizione fisica | 1 online resource (416 pages) |
| Altri autori (Persone) |
DashSujata
dos SantosWellington P Chan BukhariSyed Ahmad FlamminiFrancesco |
| Soggetto genere / forma | Electronic books. |
| ISBN |
9783030797539
9783030797522 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910513596703321 |
Pani Subhendu Kumar
|
||
| Cham : , : Springer International Publishing AG, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Safety, Reliability, and Security [[electronic resource] ] : 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011, Proceedings / / edited by Francesco Flammini, Sandro Bologna, Valeria Vittorini
| Computer Safety, Reliability, and Security [[electronic resource] ] : 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011, Proceedings / / edited by Francesco Flammini, Sandro Bologna, Valeria Vittorini |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XI, 482 p. 180 illus., 93 illus. in color.) |
| Disciplina | 005.8 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer security
Computer communication systems Software engineering Algorithms Computers and civilization Special purpose computers Systems and Data Security Computer Communication Networks Software Engineering Algorithm Analysis and Problem Complexity Computers and Society Special Purpose and Application-Based Systems |
| ISBN | 3-642-24270-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465931603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Dependable Computing - EDCC 2020 Workshops [[electronic resource] ] : AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings / / edited by Simona Bernardi, Valeria Vittorini, Francesco Flammini, Roberto Nardone, Stefano Marrone, Rasmus Adler, Daniel Schneider, Philipp Schleiß, Nicola Nostro, Rasmus Løvenstein Olsen, Amleto Di Salle, Paolo Masci
| Dependable Computing - EDCC 2020 Workshops [[electronic resource] ] : AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings / / edited by Simona Bernardi, Valeria Vittorini, Francesco Flammini, Roberto Nardone, Stefano Marrone, Rasmus Adler, Daniel Schneider, Philipp Schleiß, Nicola Nostro, Rasmus Løvenstein Olsen, Amleto Di Salle, Paolo Masci |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (226 pages) |
| Disciplina | 006.3 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Software engineering
Artificial intelligence Computer communication systems Architecture, Computer Application software Education—Data processing Software Engineering Artificial Intelligence Computer Communication Networks Computer System Implementation Computer Applications Computers and Education |
| ISBN | 3-030-58462-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Workshop on Articial Intelligence for RAILwayS (AI4RAILS) -- Worskhop on Dynamic Risk managEment for AutonomousSystems (DREAMS) -- Workshop on Dependable SOlutions for IntelligentElectricity Distribution GRIds (DSOGRI) -- Workshop on Software Engineering for Resilient Systems (SERENE). |
| Record Nr. | UNISA-996465368803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Dependable Computing - EDCC 2020 Workshops : AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings / / edited by Simona Bernardi, Valeria Vittorini, Francesco Flammini, Roberto Nardone, Stefano Marrone, Rasmus Adler, Daniel Schneider, Philipp Schleiß, Nicola Nostro, Rasmus Løvenstein Olsen, Amleto Di Salle, Paolo Masci
| Dependable Computing - EDCC 2020 Workshops : AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings / / edited by Simona Bernardi, Valeria Vittorini, Francesco Flammini, Roberto Nardone, Stefano Marrone, Rasmus Adler, Daniel Schneider, Philipp Schleiß, Nicola Nostro, Rasmus Løvenstein Olsen, Amleto Di Salle, Paolo Masci |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (226 pages) |
| Disciplina |
006.3
005.1 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Software engineering
Artificial intelligence Computer communication systems Architecture, Computer Application software Education—Data processing Software Engineering Artificial Intelligence Computer Communication Networks Computer System Implementation Computer Applications Computers and Education |
| ISBN | 3-030-58462-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Workshop on Articial Intelligence for RAILwayS (AI4RAILS) -- Worskhop on Dynamic Risk managEment for AutonomousSystems (DREAMS) -- Workshop on Dependable SOlutions for IntelligentElectricity Distribution GRIds (DSOGRI) -- Workshop on Software Engineering for Resilient Systems (SERENE). |
| Record Nr. | UNINA-9910416078503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods for Industrial Critical Systems [[electronic resource] ] : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings / / edited by Frédéric Lang, Francesco Flammini
| Formal Methods for Industrial Critical Systems [[electronic resource] ] : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings / / edited by Frédéric Lang, Francesco Flammini |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XIV, 201 p. 84 illus.) |
| Disciplina | 004.0151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Computer logic Software engineering Special purpose computers Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Software Engineering Special Purpose and Application-Based Systems |
| ISBN | 3-319-10702-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal Verification of Steady-State Errors in Unity-Feedback Control Systems -- Assertion-Based Monitoring in Practice – Checking Correctness of an Automotive Sensor Interface -- Analysis of Real-Time Properties of a Digital Hydraulic Power Management System -- Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip -- Formal Specification and Verification of TCP Extended with the Window Scale Option -- Learning Fragments of the TCP Network Protocol -- On the Validation of an Interlocking System by Model-Checking -- Deadlock Avoidance in Train Scheduling: A Model Checking Approach -- An Open Alternative for SMT-Based Verification of Scade Models -- Improving Static Analyses of C Programs with Conditional Predicates -- Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements -- Test Specification Patterns for Automatic Generation of Test Sequences -- Randomised Testing of a Microprocessor Model Using SMT-Solver State Generation. |
| Record Nr. | UNISA-996202526203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Methods for Industrial Critical Systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings / / edited by Frédéric Lang, Francesco Flammini
| Formal Methods for Industrial Critical Systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings / / edited by Frédéric Lang, Francesco Flammini |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XIV, 201 p. 84 illus.) |
| Disciplina | 004.0151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Computer logic Software engineering Special purpose computers Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Software Engineering Special Purpose and Application-Based Systems |
| ISBN | 3-319-10702-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal Verification of Steady-State Errors in Unity-Feedback Control Systems -- Assertion-Based Monitoring in Practice – Checking Correctness of an Automotive Sensor Interface -- Analysis of Real-Time Properties of a Digital Hydraulic Power Management System -- Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip -- Formal Specification and Verification of TCP Extended with the Window Scale Option -- Learning Fragments of the TCP Network Protocol -- On the Validation of an Interlocking System by Model-Checking -- Deadlock Avoidance in Train Scheduling: A Model Checking Approach -- An Open Alternative for SMT-Based Verification of Scade Models -- Improving Static Analyses of C Programs with Conditional Predicates -- Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements -- Test Specification Patterns for Automatic Generation of Test Sequences -- Randomised Testing of a Microprocessor Model Using SMT-Solver State Generation. |
| Record Nr. | UNINA-9910483007603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Resilience of Cyber-Physical Systems : From Risk Modelling to Threat Counteraction / / edited by Francesco Flammini
| Resilience of Cyber-Physical Systems : From Risk Modelling to Threat Counteraction / / edited by Francesco Flammini |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (237 pages) |
| Disciplina | 006.22 |
| Collana | Advanced Sciences and Technologies for Security Applications |
| Soggetto topico |
Data protection
Computer security Computer crimes Quality control Reliability Industrial safety Management information systems Security Systems and Data Security Cybercrime Quality Control, Reliability, Safety and Risk Business IT Infrastructure |
| ISBN | 3-319-95597-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foreword -- Complex, Resilient and Smart Systems -- Challenges and Opportunities for Model-Based Security Risk Assessment of Cyber-Physical Systems -- A Comprehensive Framework for the Security Risk Management of Cyber-Physical Systems -- Supporting Cybersecurity Compliance Assessment of Industrial Automation and Control System Components -- Quantitative Evaluation of the Efficacy of Defence-in-Depth in Critical Infrastructures -- A Model-Driven and Generative Approach to Holistic Security with C-IME -- Multi-Range Decoy I/O Defense of Electrical Substations against Industrial Control System Malware -- Flood Resilience of a Water Distribution System -- A Non-Parametric Cumulative Sum Approach for Online Diagnostics of Cyber Attacks to Nuclear Power Plants. |
| Record Nr. | UNINA-9910337573703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||