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.
FORTE Conference (38th : 2018 : Madrid, Spain); Caier, Christel.; Caires, Luís.; International Federated Conferences on Distributed Computing Techniques (13th : 2018 : Madrid, Spain), jointly held conference.
2018
QA76.9.F67
Available Online

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
DOI https://doi.org/10.1007/978-3-319-92612-4
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.
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.
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.
Available in Other Form Print version: 9783319926117
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export