Formal techniques for distributed objects, components, and systems : 38th IFIP WG 6.1 International Conference, FORTE 2018 held as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, proceedings / edited by Christel Baier, Luís Caires.
2018
QA76.9.F67
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 : 38th IFIP WG 6.1 International Conference, FORTE 2018 held as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, proceedings / edited by Christel Baier, Luís Caires.
Meeting Name
FORTE Conference (38th : 2018 : Madrid, Spain)
ISBN
9783319926124 (electronic book)
3319926128 (electronic book)
9783319926117
331992611X
3319926128 (electronic book)
9783319926117
331992611X
Published
Cham : Springer International Publishing : Imprint: Springer, 2018.
Language
English
Description
1 online resource.
Item Number
10.1007/978-3-319-92612-4 doi
Call Number
QA76.9.F67
Dewey Decimal Classification
004.01/51
Summary
This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018. The 10 full papers presented were carefully reviewed and selected from 28 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems.
Note
International conference proceedings.
Includes author index.
Includes author index.
Access Note
Access limited to authorized users.
Digital File Characteristics
text file PDF
Source of Description
Description based on print version record.
Added Author
Caier, Christel.
Caires, Luís.
Caires, Luís.
Added Meeting Name
International Federated Conferences on Distributed Computing Techniques (13th : 2018 : Madrid, Spain), jointly held conference.
Series
Lecture notes in computer science ; 10854.
LNCS sublibrary. SL 2, Programming and software engineering.
LNCS sublibrary. SL 2, Programming and software engineering.
Available in Other Form
Print version: 9783319926117
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources
Table of Contents
Component- and Model-Based Design.-Object Technology
Service-Oriented Computing Systems
Mobile Computing Systems
Security
Privacy
Adaptive Distributed Systems
Self-Stabilization
Self-Healing
Verification
Formal Analysis.
Service-Oriented Computing Systems
Mobile Computing Systems
Security
Privacy
Adaptive Distributed Systems
Self-Stabilization
Self-Healing
Verification
Formal Analysis.