Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9688)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: FORTE 2016.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (18 papers)
Other volumes
-
Formal Techniques for Distributed Objects, Components, and Systems
Keywords
- adaptive systems
- cloud computing
- object technology
- service-oriented
- software quality
- distributed systems
- formal analysis
- mobile computing systems
- modularity
- pervasive computing
- privacy
- security
- software availability
- software reliability
- software safety
- testing
- ubiquitous computing
- validation
- verification
About this book
International Conference on Formal Techniques for Distributed Objects,
Components, and Systems, FORTE 2016, held in Heraklion, Crete, Greece, in June
2016, as part of the 11th International Federated Conference on
Distributed Computing Techniques, DisCoTec 2016.
The 18 revised full papers presented were carefully reviewed and
selected from 44 submissions. The papers present a wide range of topics
on distributed computing models and formal specification, testing, and
verification methods.
Editors and Affiliations
Bibliographic Information
Book Title: Formal Techniques for Distributed Objects, Components, and Systems
Book Subtitle: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
Editors: Elvira Albert, Ivan Lanese
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-39570-8
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: IFIP International Federation for Information Processing 2016
Softcover ISBN: 978-3-319-39569-2Published: 27 June 2016
eBook ISBN: 978-3-319-39570-8Published: 23 May 2016
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVI, 275
Number of Illustrations: 56 b/w illustrations
Topics: Logics and Meanings of Programs, Software Engineering, Computation by Abstract Devices, Mathematical Logic and Formal Languages, Information Systems Applications (incl. Internet), Computer Communication Networks