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 for Industrial Critical Systems [[electronic resource] ] : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings / / edited by Mariëlle Stoelinga, Ralf Pinger
| Formal Methods for Industrial Critical Systems [[electronic resource] ] : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings / / edited by Mariëlle Stoelinga, Ralf Pinger |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XIV, 223 p. 87 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Special purpose computers Application software Computers Software Engineering Logics and Meanings of Programs Special Purpose and Application-Based Systems Computer Appl. in Administrative Data Processing Computation by Abstract Devices |
| Soggetto genere / forma | Conference proceedings. |
| ISBN | 3-642-32469-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Real-Time Specification Patterns and Tools -- Automated Extraction of Abstract Behavioural Models from JMS Applications -- Certifying and Reasoning on Cost Annotations in C Programs.- Waiting for Locks: How Long Does It Usually Take? -- Microcontroller Assembly Synthesis from Timed Automaton Task Specifications.- Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs -- Range Analysis of Binaries with Minimal Effort -- Combining Analyses for C Program Verification -- Model Checking the FlexRay Startup Phase -- Model-Based Risk Assessment Supporting Development of HSE Plans for Safe Offshore Operations -- Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis.- Optimizing the Robustness of Software against Communication Latencies in Distributed Reactive Embedded Systems -- A Formal Design of a Tool for Static Analysis of Upper Bounds on Object Calls in Java -- Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution. . |
| Record Nr. | UNISA-996465309303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Modeling and Analysis of Timed Systems [[electronic resource] ] : 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings / / edited by Étienne André, Mariëlle Stoelinga
| Formal Modeling and Analysis of Timed Systems [[electronic resource] ] : 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings / / edited by Étienne André, Mariëlle Stoelinga |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XVI, 301 p. 237 illus., 41 illus. in color.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Software engineering Computer science Machine theory Computer simulation Computers, Special purpose Software Engineering Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Computer Modelling Special Purpose and Application-Based Systems |
| ISBN | 3-030-29662-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Special Session on Data-driven and Stochastic Approaches to Real-time, including Monitoring and Big Data -- Timed systems -- Linear and Non-linear Systems -- Timed Automata -- Special Session on Timed Systems and Probabilities. |
| Record Nr. | UNISA-996466467903316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Modeling and Analysis of Timed Systems : 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings / / edited by Étienne André, Mariëlle Stoelinga
| Formal Modeling and Analysis of Timed Systems : 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings / / edited by Étienne André, Mariëlle Stoelinga |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XVI, 301 p. 237 illus., 41 illus. in color.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Software engineering Computer science Machine theory Computer simulation Computers, Special purpose Software Engineering Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Computer Modelling Special Purpose and Application-Based Systems |
| ISBN | 3-030-29662-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Special Session on Data-driven and Stochastic Approaches to Real-time, including Monitoring and Big Data -- Timed systems -- Linear and Non-linear Systems -- Timed Automata -- Special Session on Timed Systems and Probabilities. |
| Record Nr. | UNINA-9910349304503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Quantitative Evaluation of Systems [[electronic resource] ] : 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings / / edited by Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D'Argenio
| Quantitative Evaluation of Systems [[electronic resource] ] : 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings / / edited by Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D'Argenio |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 406 p. 98 illus.) |
| Disciplina | 004.24 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Electronic digital computers—Evaluation Computer science—Mathematics Mathematical statistics Computer Science Logic and Foundations of Programming System Performance and Evaluation Probability and Statistics in Computer Science |
| ISBN | 3-642-40196-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466031803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Quantitative Evaluation of Systems : 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings / / edited by Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D'Argenio
| Quantitative Evaluation of Systems : 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings / / edited by Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D'Argenio |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 406 p. 98 illus.) |
| Disciplina | 004.24 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Electronic digital computers—Evaluation Computer science—Mathematics Mathematical statistics Computer Science Logic and Foundations of Programming System Performance and Evaluation Probability and Statistics in Computer Science |
| ISBN | 3-642-40196-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910483727503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Stochastic Model Checking [[electronic resource] ] : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures / / edited by Anne Remke, Mariëlle Stoelinga
| Stochastic Model Checking [[electronic resource] ] : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures / / edited by Anne Remke, Mariëlle Stoelinga |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XII, 281 p. 69 illus.) |
| Disciplina | 003.76 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Computer science—Mathematics Mathematical statistics Machine theory Computer Science Logic and Foundations of Programming Software Engineering Compilers and Interpreters Probability and Statistics in Computer Science Formal Languages and Automata Theory |
| ISBN | 3-662-45489-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The tree areas of stochastic models -- Abstraction techniques -- Stochastic model checking. |
| Record Nr. | UNISA-996210509703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Stochastic Model Checking : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures / / edited by Anne Remke, Mariëlle Stoelinga
| Stochastic Model Checking : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures / / edited by Anne Remke, Mariëlle Stoelinga |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XII, 281 p. 69 illus.) |
| Disciplina | 003.76 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Computer science—Mathematics Mathematical statistics Machine theory Computer Science Logic and Foundations of Programming Software Engineering Compilers and Interpreters Probability and Statistics in Computer Science Formal Languages and Automata Theory |
| ISBN | 3-662-45489-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The tree areas of stochastic models -- Abstraction techniques -- Stochastic model checking. |
| Record Nr. | UNINA-9910483060003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||