Formal techniques for distributed objects, components, and systems : 41st IFIP WG 6.1 international conference, FORTE 2021 : held as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings / Kirstin Peters, Tim A.C. Willemse (eds.).
2021
QA76.9.D5 .F67 2021
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Formal techniques for distributed objects, components, and systems : 41st IFIP WG 6.1 international conference, FORTE 2021 : held as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings / Kirstin Peters, Tim A.C. Willemse (eds.).
Meeting Name
FORTE Conference (41st : 2021 : Online)
ISBN
9783030780890 (electronic bk.)
3030780899 (electronic bk.)
9783030780883
3030780880
3030780899 (electronic bk.)
9783030780883
3030780880
Published
Cham : Springer, [2021]
Copyright
©2021
Language
English
Description
1 online resource : illustrations (some color)
Item Number
10.1007/978-3-030-78089-0 doi
Call Number
QA76.9.D5 .F67 2021
Dewey Decimal Classification
004.36
Summary
This book constitutes the refereed proceedings of the 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021, held in Valletta, Malta, in June 2021, as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021. The 9 regular papers and 4 short papers presented were carefully reviewed and selected from 26 submissions. They cover topics such as: software quality, reliability, availability, and safety; security, privacy, and trust in distributed and/or communicating systems; service-oriented, ubiquitous, and cloud computing systems; component-and model-based design; object technology, modularity, and software adaptation; self-stabilisation and self-healing/organising; and verification, validation, formal analysis, and testing of the above. Due to the Corona pandemic this event was held virtually.
Note
International conference proceedings.
Includes author index.
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed June 17, 2021).
Added Author
Peters, Kirstin, editor.
Willemse, Tim, editor.
Willemse, Tim, editor.
Added Meeting Name
International Federated Conferences on Distributed Computing Techniques (16th : 2021 : Online)
Series
Lecture notes in computer science ; 12719.
LNCS sublibrary. SL 2, Programming and software engineering.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources