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.
Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II / / edited by Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi
| Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II / / edited by Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (XXII, 652 p. 193 illus., 170 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer science Computers, Special purpose Programming languages (Electronic computers) Microprogramming Natural language processing (Computer science) Software Engineering Computer Science Logic and Foundations of Programming Special Purpose and Application-Based Systems Programming Language Control Structures and Microprogramming Natural Language Processing (NLP) |
| ISBN | 3-031-71177-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910888050603321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I / / edited by André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi
| Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I / / edited by André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (XXII, 680 p. 166 illus., 113 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer science Computers, Special purpose Programming languages (Electronic computers) Microprogramming Natural language processing (Computer science) Software Engineering Computer Science Logic and Foundations of Programming Special Purpose and Application-Based Systems Programming Language Control Structures and Microprogramming Natural Language Processing (NLP) |
| ISBN | 3-031-71162-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910886968003321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
NASA Formal Methods [[electronic resource] ] : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings / / edited by Julia M. Badger, Kristin Yvonne Rozier
| NASA Formal Methods [[electronic resource] ] : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings / / edited by Julia M. Badger, Kristin Yvonne Rozier |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XXI, 392 p. 372 illus., 58 illus. in color.) |
| Disciplina | 004.0151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computers Artificial intelligence Computer simulation Computer organization Software Engineering Programming Languages, Compilers, Interpreters Theory of Computation Artificial Intelligence Simulation and Modeling Computer Systems Organization and Communication Networks |
| ISBN | 3-030-20652-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal verification, including theorem proving, model checking, and static analysis -- Advances in automated theorem proving including SAT and SMT solving -- Use of formal methods in software and system testing -- Run-time verification -- Techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional techniques, and parallel and/or distributed techniques -- Code generation from formally verified models -- Safety cases and system safety -- Formal approaches to fault tolerance -- Theoretical advances and empirical evaluations of formal methods techniques for safety-critical systems, including hybrid and embedded systems -- Formal methods in systems engineering and model-based development -- Correct-by-design controller synthesis -- Formal assurance methods to handle adaptive systems. |
| Record Nr. | UNISA-996466332403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings / / edited by Julia M. Badger, Kristin Yvonne Rozier
| NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings / / edited by Julia M. Badger, Kristin Yvonne Rozier |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XXI, 392 p. 372 illus., 58 illus. in color.) |
| Disciplina | 004.0151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computers Artificial intelligence Computer simulation Computer organization Software Engineering Programming Languages, Compilers, Interpreters Theory of Computation Artificial Intelligence Simulation and Modeling Computer Systems Organization and Communication Networks |
| ISBN | 3-030-20652-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal verification, including theorem proving, model checking, and static analysis -- Advances in automated theorem proving including SAT and SMT solving -- Use of formal methods in software and system testing -- Run-time verification -- Techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional techniques, and parallel and/or distributed techniques -- Code generation from formally verified models -- Safety cases and system safety -- Formal approaches to fault tolerance -- Theoretical advances and empirical evaluations of formal methods techniques for safety-critical systems, including hybrid and embedded systems -- Formal methods in systems engineering and model-based development -- Correct-by-design controller synthesis -- Formal assurance methods to handle adaptive systems. |
| Record Nr. | UNINA-9910337849503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
NASA Formal Methods [[electronic resource] ] : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings / / edited by Julia M. Badger, Kristin Yvonne Rozier
| NASA Formal Methods [[electronic resource] ] : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings / / edited by Julia M. Badger, Kristin Yvonne Rozier |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XXVI, 360 p. 114 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Operating systems (Computers) Computer logic Computer programming Software Engineering Programming Languages, Compilers, Interpreters Operating Systems Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Programming Techniques |
| ISBN | 3-319-06200-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model checking -- Theorem proving -- Static analysis -- Model-based development -- Runtime monitoring -- Formal approaches to fault tolerance -- Applications of formal methods to aerospace systems -- Formal analysis of cyber-physical systems, including hybrid and embedded systems -- Formal methods in systems engineering -- Modeling -- Requirements and specifications -- Requirements generation -- Specification debugging -- Formal validation of specifications -- Use of formal methods in safety cases -- Use of formal methods in human-machine interaction analysis -- Formal methods for parallel hardware implementations -- Use of formal methods in automated software engineering and testing -- Correct-by-design -- Design for verification, and property based design techniques -- Techniques and algorithms for scaling formal methods, e.g., abstraction and symbolic methods -- Compositional techniques -- Parallel and distributed techniques.- Application of formal methods to emerging technologies. |
| Record Nr. | UNISA-996203623103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
NASA Formal Methods : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings / / edited by Julia M. Badger, Kristin Yvonne Rozier
| NASA Formal Methods : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings / / edited by Julia M. Badger, Kristin Yvonne Rozier |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XXVI, 360 p. 114 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Operating systems (Computers) Computer logic Computer programming Software Engineering Programming Languages, Compilers, Interpreters Operating Systems Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Programming Techniques |
| ISBN | 3-319-06200-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model checking -- Theorem proving -- Static analysis -- Model-based development -- Runtime monitoring -- Formal approaches to fault tolerance -- Applications of formal methods to aerospace systems -- Formal analysis of cyber-physical systems, including hybrid and embedded systems -- Formal methods in systems engineering -- Modeling -- Requirements and specifications -- Requirements generation -- Specification debugging -- Formal validation of specifications -- Use of formal methods in safety cases -- Use of formal methods in human-machine interaction analysis -- Formal methods for parallel hardware implementations -- Use of formal methods in automated software engineering and testing -- Correct-by-design -- Design for verification, and property based design techniques -- Techniques and algorithms for scaling formal methods, e.g., abstraction and symbolic methods -- Compositional techniques -- Parallel and distributed techniques.- Application of formal methods to emerging technologies. |
| Record Nr. | UNINA-9910483224103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||