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.
Agents and Robots for Reliable Engineered Autonomy
| Agents and Robots for Reliable Engineered Autonomy |
| Autore | Cardoso Rafael C |
| Pubbl/distr/stampa | Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2021 |
| Descrizione fisica | 1 online resource (150 p.) |
| Soggetto topico | Technology: general issues |
| Soggetto non controllato |
agents
aggregate computing Autonomous Vehicles belief-desire-intention (BDI) collective autonomy coordination decision-making formal verification human-agent interaction jason model checking multi-agent systems n/a rational agent robot operating system (ROS) robotic agents robotics ROS Rules of the Road self-driving vehicle self-organisation software engineering verification and validation |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910557485603321 |
Cardoso Rafael C
|
||
| Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated Deduction - CADE 28 [[electronic resource] ] : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
| Automated Deduction - CADE 28 [[electronic resource] ] : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings |
| Autore | Platzer André |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2021 |
| Descrizione fisica | 1 online resource (655 p.) |
| Altri autori (Persone) | SutcliffeGeoff |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Mathematical theory of computation Computer programming / software development Software Engineering |
| Soggetto non controllato |
Artificial Intelligence
Mathematical Logic and Formal Languages Logics and Meanings of Programs Software Engineering Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming automata theory boolean functions computer programming first order logic formal languages formal logic logic programming model checking program verification semantics software architecture software design software quality software verification theorem provers theorem proving Mathematical theory of computation Computer programming / software engineering Computer architecture & logic design |
| ISBN | 3-030-79876-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Automated Deduction â CADE 28
Automated Deduction - CADE 28 |
| Record Nr. | UNISA-996464423903316 |
|
Platzer André
|
||
| Cham, : Springer International Publishing AG, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
| Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings |
| Autore | Platzer André |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2021 |
| Descrizione fisica | 1 online resource (655 p.) |
| Altri autori (Persone) | SutcliffeGeoff |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Mathematical theory of computation Computer programming / software development Software Engineering |
| Soggetto non controllato |
Artificial Intelligence
Mathematical Logic and Formal Languages Logics and Meanings of Programs Software Engineering Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming automata theory boolean functions computer programming first order logic formal languages formal logic logic programming model checking program verification semantics software architecture software design software quality software verification theorem provers theorem proving Mathematical theory of computation Computer programming / software engineering Computer architecture & logic design |
| ISBN | 3-030-79876-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Automated Deduction â CADE 28
Automated Deduction - CADE 28 |
| Record Nr. | UNINA-9910491025703321 |
|
Platzer André
|
||
| Cham, : Springer International Publishing AG, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Methods for Understanding Complexity: The Use of Formal Methods in Biology
| Computational Methods for Understanding Complexity: The Use of Formal Methods in Biology |
| Autore | David A. Rosenblueth |
| Pubbl/distr/stampa | Frontiers Media SA, 2016 |
| Descrizione fisica | 1 online resource (111 p.) |
| Collana | Frontiers Research Topics |
| Soggetto topico | Genetics (non-medical) |
| Soggetto non controllato |
Answer set programing
attractors of Boolean networks biochemical networks Boolean networks Gene Regulatory Networks Logic programing model checking synthesis of biochemical models |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Computational Methods for Understanding Complexity |
| Record Nr. | UNINA-9910261146403321 |
|
David A. Rosenblueth
|
||
| Frontiers Media SA, 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings . Part II. / / editors, Sharon Shoham, Yakir Vizel
| Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings . Part II. / / editors, Sharon Shoham, Yakir Vizel |
| Autore | Shoham Sharon |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
| Descrizione fisica | 1 online resource (560 pages) : illustrations (black and white) |
| Altri autori (Persone) | VizelYakir |
| Collana | Lecture notes in computer science |
| Soggetto topico | Computer software - Verification |
| Soggetto non controllato |
architecting
architecture verification and validation artificial intelligence computer programming computer science computer systems databases distributed computer systems embedded systems engineering formal languages formal logic linguistics mathematics model checking software architecture software design software engineering software quality theoretical computer science |
| ISBN | 3-031-13188-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996485664103316 |
|
Shoham Sharon
|
||
| Cham, : Springer Nature, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings . Part I. / / editors, Sharon Shoham, Yakir Vizel
| Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings . Part I. / / editors, Sharon Shoham, Yakir Vizel |
| Autore | Shoham Sharon |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
| Descrizione fisica | 1 online resource (563 pages) : illustrations (black and white) |
| Disciplina | 005.14 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Computer software - Verification |
| Soggetto non controllato |
architecting
architecture verification and validation artificial intelligence computer programming computer science computer systems distributed computer systems distributed systems embedded systems formal logic mathematics model checking programming languages software architecture software design software engineering software quality theoretical computer science verification verification and validation |
| ISBN | 3-031-13185-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996485664203316 |
|
Shoham Sharon
|
||
| Cham, : Springer Nature, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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 | ||
| ||
Mathematics in Software Reliability and Quality Assurance
| Mathematics in Software Reliability and Quality Assurance |
| Autore | Dohi Tadashi |
| Pubbl/distr/stampa | Basel, : MDPI - Multidisciplinary Digital Publishing Institute, 2022 |
| Descrizione fisica | 1 online resource (218 p.) |
| Soggetto topico |
History of engineering and technology
Technology: general issues |
| Soggetto non controllato |
bisimulation
branch coverage checkpointing coalgebra composition concurrent software systems consensus protocol cross-project prediction data-flows deep learning EM algorithm eventual property feature selection fuzzy automata fuzzy language generalized failure count data genetic algorithm human-error factors island-based model long short-term memory Maude maximum likelihood estimation metamorphic relations metamorphic testing model checking model-checking moth flame optimization mutation testing Nervos CKB non-homogeneous Poisson process object-oriented optimal rejuvenation-trigger timing petri net phase expansion project similarity and clustering quality assessment regression testing search-based test case generation software defect prediction software rejuvenation software reliability software reliability model specification-based testing steady-state system availability test data generation textual question answering UPPAAL visual question answering |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910576884903321 |
|
Dohi Tadashi
|
||
| Basel, : MDPI - Multidisciplinary Digital Publishing Institute, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Trustworthiness in Mobile Cyber Physical Systems
| Trustworthiness in Mobile Cyber Physical Systems |
| Autore | Kang Kyungtae |
| Pubbl/distr/stampa | Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2021 |
| Descrizione fisica | 1 online resource (190 p.) |
| Soggetto topico | Technology: general issues |
| Soggetto non controllato |
adversarial robustness
adversarial training authentication authenticity AUTOSAR bootstrapping control-scheduling codesign controller area network bus DAG data quality deep neural network distillation DVFS dynamic signal control embedded system event-based systems formal verification forward privacy group mobility high-dimensionality in-vehicle network industry Intelligent Transportation System (ITS) intersection safety lagrange multiplier large-scale linear discriminant analysis mixed-criticality mobile cyber physical systems Mobile Cyber-Physical Systems (MCPS) Mobile Sink Groups (MSG) model checking model compression n/a PEKS power-aware random projection real-time data delivery real-time scheduling Red Light Runner (RLR) resiliency runnable scheduling searchable encryption secure AI security flaws security taxonomies SGX sustainability trusted execution environment weight pruning |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910557531703321 |
|
Kang Kyungtae
|
||
| Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||