02137nam 2200517 450 991057486210332120221218060007.03-031-08679-1(MiAaPQ)EBC7015356(Au-PeEL)EBL7015356(CKB)23689202400041EBL7015356(AU-PeEL)EBL7015356(PPN)268749892(EXLCZ)992368920240004120221218d2022 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierFormal techniques for distributed objects, components, and systems 42nd IFIP WG 6.1 International Conference, FORTE 2022, held as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-18, 2022, proceedings /Mohammad Reza Mousavi, Anna Philippou, editorsCham, Switzerland :Springer,[2022]©20221 online resource (222 pages)Lecture notes in computer science ;Volume 13273Description based upon print version of record.Print version: Mousavi, Mohammad Reza Formal Techniques for Distributed Objects, Components, and Systems Cham : Springer International Publishing AG,c2022 9783031086786 Includes bibliographical references and index.Lecture notes in computer science ;Volume 13273.Electronic data processingDistributed processingCongressesFormal methods (Computer science)CongressesSoftware engineeringElectronic data processingDistributed processingFormal methods (Computer science)Software engineering.004.36Mousavi Mohammad Reza1978-Philippou AnnaMiAaPQMiAaPQMiAaPQBOOK9910574862103321Formal Techniques for Distributed Objects, Components, and Systems2880511UNINA