Formal 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

Bibliographische Detailangaben

Körperschaften:	IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems (VerfasserIn), International Federation for Information Processing Working Group Architectures and Protocols for Distributed Systems (Herausgebendes Organ), DisCoTec (VerfasserIn)
Weitere Verfasser:	Mousavi, Mohammad Reza (HerausgeberIn), Philippou, Anna (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2022
Schriftenreihe:	Lecture notes in computer science 13273
Schlagworte:	Electronic data processing > Distributed processing > Formal methods (Computer science) > Konferenzschrift > Formale Methode > Computersicherheit > Cloud Computing
Online Zugang:	Inhaltsverzeichnis Zusätzliche Angaben 1850-9999
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!