top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013 : proceedings / / Dang Van Hung, Oleg Sokolsky
Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013 : proceedings / / Dang Van Hung, Oleg Sokolsky
Edizione [1st ed. 2020.]
Pubbl/distr/stampa Cham, Switzerland : , : Springer, , [2020]
Descrizione fisica 1 online resource (XIV, 574 p. 796 illus., 99 illus. in color.)
Disciplina 006.333
Collana Programming and Software Engineering
Soggetto topico Artificial intelligence
ISBN 3-030-59152-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Neural Networks and Machine Learning -- Automata -- Logics -- Techniques for Verification, Analysis and Testing -- Model Checking and Decision Procedures -- Synthesis -- Randomization and Probabilistic Systems.
Record Nr. UNINA-9910427707203321
Cham, Switzerland : , : Springer, , [2020]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013 : proceedings / / Dang Van Hung, Oleg Sokolsky
Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013 : proceedings / / Dang Van Hung, Oleg Sokolsky
Edizione [1st ed. 2020.]
Pubbl/distr/stampa Cham, Switzerland : , : Springer, , [2020]
Descrizione fisica 1 online resource (XIV, 574 p. 796 illus., 99 illus. in color.)
Disciplina 006.333
Collana Programming and Software Engineering
Soggetto topico Artificial intelligence
ISBN 3-030-59152-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Neural Networks and Machine Learning -- Automata -- Logics -- Techniques for Verification, Analysis and Testing -- Model Checking and Decision Procedures -- Synthesis -- Randomization and Probabilistic Systems.
Record Nr. UNISA-996418291303316
Cham, Switzerland : , : Springer, , [2020]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Composition of embedded systems : scientific and industrial issues : 13th Monterey workshop 2006 Paris, France, October 16-18, 2006, revised selected papers / / Fabrice Kordon, Oleg Sokolsky, editor
Composition of embedded systems : scientific and industrial issues : 13th Monterey workshop 2006 Paris, France, October 16-18, 2006, revised selected papers / / Fabrice Kordon, Oleg Sokolsky, editor
Edizione [1st ed. 2008.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer, , [2007]
Descrizione fisica 1 online resource (XII, 221 p.)
Disciplina 004
Collana Lecture Notes in Computer Science
Soggetto topico Computer science
Software engineering
Information theory
ISBN 3-540-77419-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Model Driven Development and Embedded Systems -- On the Correctness of Model Transformations in the Development of Embedded Systems -- Supporting System Level Design of Distributed Real Time Systems for Automotive Applications -- From MDD to Full Industrial Process: Building Distributed Real-Time Embedded Systems for the High-Integrity Domain -- Model-Based Failure Management for Distributed Reactive Systems -- Software Engineering for Embedded Systems -- A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems -- Industrial Challenges in the Composition of Embedded Systems -- Deep Random Search for Efficient Model Checking of Timed Automata -- OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks -- Composition Technologies -- Composing and Decomposing QoS Attributes for Distributed Real-Time Systems: Experience to Date and Hard Problems Going Forward -- Recent Additions on the Application Programming Interface of the TMO Support Middleware -- Integrating Automotive Applications Using Overlay Networks on Top of a Time-Triggered Protocol -- Reliability Properties of Models for Flexible Design and Run-Time Analysis.
Record Nr. UNINA-9910482985503321
Berlin, Heidelberg : , : Springer, , [2007]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Composition of embedded systems : scientific and industrial issues : 13th Monterey workshop 2006 Paris, France, October 16-18, 2006, revised selected papers / / Fabrice Kordon, Oleg Sokolsky, editor
Composition of embedded systems : scientific and industrial issues : 13th Monterey workshop 2006 Paris, France, October 16-18, 2006, revised selected papers / / Fabrice Kordon, Oleg Sokolsky, editor
Edizione [1st ed. 2008.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer, , [2007]
Descrizione fisica 1 online resource (XII, 221 p.)
Disciplina 004
Collana Lecture Notes in Computer Science
Soggetto topico Computer science
Software engineering
Information theory
ISBN 3-540-77419-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Model Driven Development and Embedded Systems -- On the Correctness of Model Transformations in the Development of Embedded Systems -- Supporting System Level Design of Distributed Real Time Systems for Automotive Applications -- From MDD to Full Industrial Process: Building Distributed Real-Time Embedded Systems for the High-Integrity Domain -- Model-Based Failure Management for Distributed Reactive Systems -- Software Engineering for Embedded Systems -- A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems -- Industrial Challenges in the Composition of Embedded Systems -- Deep Random Search for Efficient Model Checking of Timed Automata -- OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks -- Composition Technologies -- Composing and Decomposing QoS Attributes for Distributed Real-Time Systems: Experience to Date and Hard Problems Going Forward -- Recent Additions on the Application Programming Interface of the TMO Support Middleware -- Integrating Automotive Applications Using Overlay Networks on Top of a Time-Triggered Protocol -- Reliability Properties of Models for Flexible Design and Run-Time Analysis.
Record Nr. UNISA-996466109603316
Berlin, Heidelberg : , : Springer, , [2007]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Dependable Software Engineering. Theories, Tools, and Applications [[electronic resource] ] : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings / / edited by Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang
Dependable Software Engineering. Theories, Tools, and Applications [[electronic resource] ] : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings / / edited by Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang
Edizione [1st ed. 2017.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Descrizione fisica 1 online resource (XVIII, 351 p. 74 illus.)
Disciplina 005.1
Collana Programming and Software Engineering
Soggetto topico Software engineering
Computer logic
Mathematical logic
Computer simulation
Mathematical statistics
Software Engineering
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Simulation and Modeling
Probability and Statistics in Computer Science
ISBN 3-319-69483-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Probabilistic and Statistical Analysis -- Timed and Hybrid Systems -- Program Analysis -- Modeling and Verification.- Formalization -- Tools.
Record Nr. UNINA-9910483877403321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Dependable Software Engineering. Theories, Tools, and Applications [[electronic resource] ] : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings / / edited by Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang
Dependable Software Engineering. Theories, Tools, and Applications [[electronic resource] ] : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings / / edited by Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang
Edizione [1st ed. 2017.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Descrizione fisica 1 online resource (XVIII, 351 p. 74 illus.)
Disciplina 005.1
Collana Programming and Software Engineering
Soggetto topico Software engineering
Computer logic
Mathematical logic
Computer simulation
Mathematical statistics
Software Engineering
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Simulation and Modeling
Probability and Statistics in Computer Science
ISBN 3-319-69483-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Probabilistic and Statistical Analysis -- Timed and Hybrid Systems -- Program Analysis -- Modeling and Verification.- Formalization -- Tools.
Record Nr. UNISA-996465637303316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Emerging Directions in Embedded and Ubiquitous Computing [[electronic resource] ] : EUC 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006, Proceedings / / edited by Xiaobo Zhou, Oleg Sokolsky, Lu Yan, Eun-Sun Jung, Zili Shao, Yi Mu, Dong-Chun Lee, Daeyoung Kim, Young-Sik Jeong, Cheng-Zhong Xu
Emerging Directions in Embedded and Ubiquitous Computing [[electronic resource] ] : EUC 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006, Proceedings / / edited by Xiaobo Zhou, Oleg Sokolsky, Lu Yan, Eun-Sun Jung, Zili Shao, Yi Mu, Dong-Chun Lee, Daeyoung Kim, Young-Sik Jeong, Cheng-Zhong Xu
Edizione [1st ed. 2006.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006
Descrizione fisica 1 online resource (XXVII, 1034 p.)
Disciplina 005.437
4.019
Collana Information Systems and Applications, incl. Internet/Web, and HCI
Soggetto topico User interfaces (Computer systems)
Computer communication systems
Special purpose computers
Application software
Data encryption (Computer science)
Computers and civilization
User Interfaces and Human Computer Interaction
Computer Communication Networks
Special Purpose and Application-Based Systems
Information Systems Applications (incl. Internet)
Cryptology
Computers and Society
ISBN 3-540-36851-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto NCUS 2006 Symposium -- SecUbiq 2006 Workshop -- USN 2006 Workshop -- TRUST 2006 Workshop -- ESO 2006 Workshop -- MSA 2006 Workshop.
Record Nr. UNISA-996466089703316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Emerging Directions in Embedded and Ubiquitous Computing [[electronic resource] ] : EUC 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006, Proceedings / / edited by Xiaobo Zhou, Oleg Sokolsky, Lu Yan, Eun-Sun Jung, Zili Shao, Yi Mu, Dong-Chun Lee, Daeyoung Kim, Young-Sik Jeong, Cheng-Zhong Xu
Emerging Directions in Embedded and Ubiquitous Computing [[electronic resource] ] : EUC 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006, Proceedings / / edited by Xiaobo Zhou, Oleg Sokolsky, Lu Yan, Eun-Sun Jung, Zili Shao, Yi Mu, Dong-Chun Lee, Daeyoung Kim, Young-Sik Jeong, Cheng-Zhong Xu
Edizione [1st ed. 2006.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006
Descrizione fisica 1 online resource (XXVII, 1034 p.)
Disciplina 005.437
4.019
Collana Information Systems and Applications, incl. Internet/Web, and HCI
Soggetto topico User interfaces (Computer systems)
Computer communication systems
Special purpose computers
Application software
Data encryption (Computer science)
Computers and civilization
User Interfaces and Human Computer Interaction
Computer Communication Networks
Special Purpose and Application-Based Systems
Information Systems Applications (incl. Internet)
Cryptology
Computers and Society
ISBN 3-540-36851-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto NCUS 2006 Symposium -- SecUbiq 2006 Workshop -- USN 2006 Workshop -- TRUST 2006 Workshop -- ESO 2006 Workshop -- MSA 2006 Workshop.
Record Nr. UNINA-9910484422803321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Foundations of Computer Software: Future Trends and Techniques for Development [[electronic resource] ] : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers / / edited by Christine Choppy, Oleg Sokolsky
Foundations of Computer Software: Future Trends and Techniques for Development [[electronic resource] ] : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers / / edited by Christine Choppy, Oleg Sokolsky
Edizione [1st ed. 2010.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010
Descrizione fisica 1 online resource (IX, 275 p. 84 illus.)
Disciplina 005.1
Collana Programming and Software Engineering
Soggetto topico Software engineering
Application software
Information storage and retrieval
Computer communication systems
Database management
Software Engineering/Programming and Operating Systems
Software Engineering
Information Systems Applications (incl. Internet)
Information Storage and Retrieval
Computer Communication Networks
Database Management
ISBN 1-280-38632-0
9786613564245
3-642-12566-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Revising the UML Collaborations: A Well-Founded Approach -- Client Synthesis for Aspect Oriented Web Services -- Formal Reasoning about Software Object Translations -- Software Engineering Techniques for the Development of Systems of Systems -- Simulation of LET Models in Simulink and Ptolemy -- Requirements for Service Composition in Ultra-Large Scale Software-Intensive Systems -- On the Pragmatics of Model-Based Design -- Modelling and Verification of Relay Interlocking Systems -- Refinement of Components in Connection-Safe Assemblies with Synchronous and Asynchronous Communication -- Experiences in Model Driven Verification of Behavior with UML -- Cross-Document Dependency Analysis for System-of-System Integration -- Performance Analysis of AADL Models Using Real-Time Calculus -- On Software Certification: We Need Product-Focused Approaches.
Record Nr. UNISA-996465306903316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Foundations of Computer Software: Future Trends and Techniques for Development [[electronic resource] ] : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers / / edited by Christine Choppy, Oleg Sokolsky
Foundations of Computer Software: Future Trends and Techniques for Development [[electronic resource] ] : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers / / edited by Christine Choppy, Oleg Sokolsky
Edizione [1st ed. 2010.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010
Descrizione fisica 1 online resource (IX, 275 p. 84 illus.)
Disciplina 005.1
Collana Programming and Software Engineering
Soggetto topico Software engineering
Application software
Information storage and retrieval
Computer communication systems
Database management
Software Engineering/Programming and Operating Systems
Software Engineering
Information Systems Applications (incl. Internet)
Information Storage and Retrieval
Computer Communication Networks
Database Management
ISBN 1-280-38632-0
9786613564245
3-642-12566-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Revising the UML Collaborations: A Well-Founded Approach -- Client Synthesis for Aspect Oriented Web Services -- Formal Reasoning about Software Object Translations -- Software Engineering Techniques for the Development of Systems of Systems -- Simulation of LET Models in Simulink and Ptolemy -- Requirements for Service Composition in Ultra-Large Scale Software-Intensive Systems -- On the Pragmatics of Model-Based Design -- Modelling and Verification of Relay Interlocking Systems -- Refinement of Components in Connection-Safe Assemblies with Synchronous and Asynchronous Communication -- Experiences in Model Driven Verification of Behavior with UML -- Cross-Document Dependency Analysis for System-of-System Integration -- Performance Analysis of AADL Models Using Real-Time Calculus -- On Software Certification: We Need Product-Focused Approaches.
Record Nr. UNINA-9910484061003321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui