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.
Structured Object-Oriented Formal Language and Method [[electronic resource] ] : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers / / edited by Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya
| Structured Object-Oriented Formal Language and Method [[electronic resource] ] : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers / / edited by Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (VIII, 197 p. 107 illus., 33 illus. in color.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Artificial intelligence Electronic digital computers—Evaluation Computer science Computer simulation Computers Software Engineering Artificial Intelligence System Performance and Evaluation Theory of Computation Computer Modelling Computing Milieux |
| ISBN | 3-030-13651-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Programming and testing -- Verification and validation -- Semantics -- Blockchain. |
| Record Nr. | UNISA-996466442803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Structured Object-Oriented Formal Language and Method [[electronic resource] ] : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers / / edited by Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya
| Structured Object-Oriented Formal Language and Method [[electronic resource] ] : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers / / edited by Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (VIII, 197 p. 107 illus., 33 illus. in color.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Artificial intelligence Electronic digital computers—Evaluation Computer science Computer simulation Computers Software Engineering Artificial Intelligence System Performance and Evaluation Theory of Computation Computer Modelling Computing Milieux |
| ISBN | 3-030-13651-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Programming and testing -- Verification and validation -- Semantics -- Blockchain. |
| Record Nr. | UNINA-9910337573203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Structured Object-Oriented Formal Language and Method [[electronic resource] ] : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers / / edited by Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan
| Structured Object-Oriented Formal Language and Method [[electronic resource] ] : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers / / edited by Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (X, 219 p. 66 illus.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Algorithms Computer science Artificial intelligence Software Engineering Computer Science Logic and Foundations of Programming Artificial Intelligence |
| ISBN | 3-319-90104-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Animation and prototyping -- Graph theory -- Model checking -- Modeling and specification -- Verification and validation. |
| Record Nr. | UNISA-996465611403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Structured Object-Oriented Formal Language and Method [[electronic resource] ] : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers / / edited by Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan
| Structured Object-Oriented Formal Language and Method [[electronic resource] ] : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers / / edited by Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (X, 219 p. 66 illus.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Algorithms Computer science Artificial intelligence Software Engineering Computer Science Logic and Foundations of Programming Artificial Intelligence |
| ISBN | 3-319-90104-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Animation and prototyping -- Graph theory -- Model checking -- Modeling and specification -- Verification and validation. |
| Record Nr. | UNINA-9910349423203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Structured Object-Oriented Formal Language and Method [[electronic resource] ] : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers / / edited by Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya
| Structured Object-Oriented Formal Language and Method [[electronic resource] ] : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers / / edited by Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (X, 239 p. 71 illus.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer science Artificial intelligence Computer engineering Computer networks Computers Software Engineering Theory of Computation Artificial Intelligence Computer Engineering and Networks Computer Hardware |
| ISBN | 3-319-57708-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modeling and Specification -- Orchestration Combinators in Apla+ Language -- On Termination and Boundedness of Nested Updatable Timed Automata -- Instant-based and State-based Analysis of Infinite Logical Clock -- Animation and Prototyping -- Automated Safety Analysis on Scenario-based Requirements for Train Control System -- A Case Study of a GUI-Aided Approach to Constructing Formal Specifications -- Formal Development of Linear Structure Reusable Components in PAR Platform -- Verification and Validation -- E-SSL:An SSL Security-Enhanced Method for Bypassing MITM Attacks in Mobile Internet -- A Proof System for MSVL Programs in Coq -- Runtime Verification Monitor Construction for Three-valued PPTL -- Applying SOFL to a Railway Interlocking System in Industry. . |
| Record Nr. | UNISA-996465807603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Structured Object-Oriented Formal Language and Method [[electronic resource] ] : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers / / edited by Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya
| Structured Object-Oriented Formal Language and Method [[electronic resource] ] : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers / / edited by Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (X, 239 p. 71 illus.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer science Artificial intelligence Computer engineering Computer networks Computers Software Engineering Theory of Computation Artificial Intelligence Computer Engineering and Networks Computer Hardware |
| ISBN | 3-319-57708-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modeling and Specification -- Orchestration Combinators in Apla+ Language -- On Termination and Boundedness of Nested Updatable Timed Automata -- Instant-based and State-based Analysis of Infinite Logical Clock -- Animation and Prototyping -- Automated Safety Analysis on Scenario-based Requirements for Train Control System -- A Case Study of a GUI-Aided Approach to Constructing Formal Specifications -- Formal Development of Linear Structure Reusable Components in PAR Platform -- Verification and Validation -- E-SSL:An SSL Security-Enhanced Method for Bypassing MITM Attacks in Mobile Internet -- A Proof System for MSVL Programs in Coq -- Runtime Verification Monitor Construction for Three-valued PPTL -- Applying SOFL to a Railway Interlocking System in Industry. . |
| Record Nr. | UNINA-9910483536903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||