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.
Feasible, Robust and Reliable Automation and Control for Autonomous Systems
| Feasible, Robust and Reliable Automation and Control for Autonomous Systems |
| Autore | Hamid Umar Zakir Abdul |
| Pubbl/distr/stampa | MDPI - Multidisciplinary Digital Publishing Institute, 2022 |
| Descrizione fisica | 1 online resource (232 p.) |
| Soggetto topico |
History of engineering and technology
Technology: general issues |
| Soggetto non controllato |
active learning
ADAS/AD functions advanced driver-assistance system anti-windup artificial intelligence automata learning automated vehicles autonomous driving autonomous vehicle C-ITS cruise control electric vehicle (EV) error weight superposition fault tolerance formal methods generalized Newton-Raphson identification implementations inertial parameters infrastructure assistance interface design IVIM Kalman filtering lane keeping control (LKC) LPV approach Maglev model-based engineering n/a neural networks neuron PID non-smooth finite-time control nonlinear model prediction controller ODD-based AD function design omnidirectional mobile robot outdoor field test passenger comfort path following path planning path tracking previewed tracking reconfigurable control recursive least square with exponential forgetting robust control routing recommendations semi-active suspension control software architecture spline approximation splines trajectory tracking unmanned tracked vehicle unmanned vehicle Unscented Kalman Filter vehicle following vehicle-terrain interaction |
| ISBN | 3-0365-5076-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910619469203321 |
Hamid Umar Zakir Abdul
|
||
| MDPI - Multidisciplinary Digital Publishing Institute, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Fundamental approaches to software engineering : 25th International Conference, FASE 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / / editors, Einar Broch Johnsen, Manuel Wimmer
| Fundamental approaches to software engineering : 25th International Conference, FASE 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / / editors, Einar Broch Johnsen, Manuel Wimmer |
| Autore | Johnsen Einar Broch |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2022 |
| Descrizione fisica | 1 online resource (xiv, 347 pages) : illustrations |
| Altri autori (Persone) |
JohnsenEinar Broch
WimmerManuel |
| Collana | Lecture notes in computer science |
| Soggetto topico | Software engineering |
| Soggetto non controllato |
architecture verification and validation
distributed computer systems embedded systems empirical software validation formal methods model checking model-driven software engineering object-oriented programming program analysis software performance software quality software testing and debugging |
| ISBN | 3-030-99429-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996464553503316 |
|
Johnsen Einar Broch
|
||
| Cham, : Springer International Publishing AG, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Principles of Security and Trust [[electronic resource] ] : 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / / edited by Lujo Bauer, Ralf Küsters
| Principles of Security and Trust [[electronic resource] ] : 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / / edited by Lujo Bauer, Ralf Küsters |
| Autore | Ralf Küsters |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Springer Nature, 2018 |
| Descrizione fisica | 1 online resource (XIV, 347 p. 85 illus.) |
| Disciplina | 005.8 |
| Collana | Security and Cryptology |
| Soggetto topico |
Computer security
Computers Data structures (Computer science) Computer system failures Systems and Data Security Theory of Computation Computing Milieux Data Structures and Information Theory System Performance and Evaluation |
| Soggetto non controllato |
security analysis
cryptography privacy world wide web semantics programming languages formal specification program compilers specifications formal logic computer science separation logic formal methods data privacy security systems software engineering computer software selection and evaluation internet verification authentication |
| ISBN | 3-319-89722-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Information Flow and Non-Intereference -- What's the Over/Under? Probabilistic Bounds on Information Leakage -- Secure Information Release in Timed Automata -- Compositional Non-Interference for Concurrent Programs via Separation and Framing -- The Meaning of Memory Safety -- Leakage, Information Flow, and Protocols -- Formal Verification of Integrity Preserving Countermeasures Against Cache Storage -- Leakage and Protocol Composition in a Game-theoretic Perspective -- Equivalence Properties by Typing in Cryptographic Branching Protocols -- Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience -- Smart Contracts and Privacy -- SoK: Unraveling Bitcoin Smart Contracts -- A Semantic Framework for the Security Analysis of Ethereum Smart Contracts -- Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts -- UniTraX: Protecting Data Privacy with Discoverable Biases -- Firewalls and Attack-Defense Trees -- Transcompiling Firewalls -- On Quantitative Analysis of Attack-Defense Trees with Repeated Labels. |
| Record Nr. | UNISA-996465583103316 |
|
Ralf Küsters
|
||
| Springer Nature, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||