Formal Techniques for Distributed Objects, Components, and Systems [[electronic resource] ] : 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings / / edited by Marieke Huisman, António Ravara |
Autore | Huisman Marieke |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (233 pages) |
Disciplina | 004.0151 |
Altri autori (Persone) | RavaraAntónio |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Software Engineering |
ISBN | 3-031-35355-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Concurrent programming -- Security -- Probabilities, time and other resources -- Model-based testing and petri nets. |
Record Nr. | UNISA-996538666803316 |
Huisman Marieke
![]() |
||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal Techniques for Distributed Objects, Components, and Systems : 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings / / edited by Marieke Huisman, António Ravara |
Autore | Huisman Marieke |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (233 pages) |
Disciplina | 004.0151 |
Altri autori (Persone) | RavaraAntónio |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Software Engineering |
ISBN | 3-031-35355-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Concurrent programming -- Security -- Probabilities, time and other resources -- Model-based testing and petri nets. |
Record Nr. | UNINA-9910731482203321 |
Huisman Marieke
![]() |
||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Web Services, Formal Methods, and Behavioral Types [[electronic resource] ] : 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers / / edited by Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XVII, 167 p. 36 illus.) |
Disciplina | 006 |
Collana | Programming and Software Engineering |
Soggetto topico |
Application software
Software engineering Computer logic Computer communication systems Computer system failures Management information systems Computer science Information Systems Applications (incl. Internet) Software Engineering Logics and Meanings of Programs Computer Communication Networks System Performance and Evaluation Management of Computing and Information Systems |
ISBN | 3-319-33612-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Kickstarting Choreographic Programming -- On the Suitability of Behavioral Profiles for Process Model Comparison -- Formal Verification of Petri Nets with Names -- Modeling and formal analysis of a client-server application for Cloud services -- An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems -- Designing Efficient XACML Policies for RESTful Services -- Type Inference for Session Types in the Pi-Calculus -- Type checking purpose-based access control policies in the pi-calculus -- On the decidability of honesty and of its variants. |
Record Nr. | UNISA-996465709903316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Web Services, Formal Methods, and Behavioral Types : 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers / / edited by Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XVII, 167 p. 36 illus.) |
Disciplina | 006 |
Collana | Programming and Software Engineering |
Soggetto topico |
Application software
Software engineering Computer science Computer networks Electronic digital computers—Evaluation Electronic data processing—Management Computer and Information Systems Applications Software Engineering Computer Science Logic and Foundations of Programming Computer Communication Networks System Performance and Evaluation IT Operations |
ISBN | 3-319-33612-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Kickstarting Choreographic Programming -- On the Suitability of Behavioral Profiles for Process Model Comparison -- Formal Verification of Petri Nets with Names -- Modeling and formal analysis of a client-server application for Cloud services -- An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems -- Designing Efficient XACML Policies for RESTful Services -- Type Inference for Session Types in the Pi-Calculus -- Type checking purpose-based access control policies in the pi-calculus -- On the decidability of honesty and of its variants. |
Record Nr. | UNINA-9910483617803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|