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 /

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, D...

Full description

Bibliographic Details

Corporate Authors:	FORTE (Conference) Madrid, Spain), International Federated Conferences on Distributed Computing Techniques (jointly held conference)
Other Authors:	Baier, Christel (Editor), Caires, Luís (Editor), Caires, Luís (Editor)
Format:	Conference Proceeding Book
Language:	English
Published:	Cham : Springer, 2018
Series:	LNCS sublibrary Programming and software engineering. Lecture notes in computer science ; 10854
Subjects:	Computer network protocols > Congresses Electronic data processing > Distributed processing > Congresses Formal methods (Computer science) > Congresses Computer network protocols Computer security Computers > Hardware > Network Hardware Computers > Information Technology Computers > Operating Systems > General Computers > Programming Languages > General Computers > Security > General Computers > Software Development & Engineering > General Electronic data processing > Distributed processing Formal methods (Computer science) Network hardware Operating systems Programming & scripting languages: general Software Engineering Systems analysis & design Electronic books Conference papers and proceedings