Languages
Peters, Kirstin.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Formal techniques for distributed objects, components, and systems41st IFIP WG 6.1 International Conference, FORTE 2021, held as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings /
by:
(1998 :); Peters, Kirstin.; SpringerLink (Online service); Willemse, Tim A. C.
(Electronic resources)
Subjects
Computer network protocols
Mathematical Logic and Foundations.
Electronic data processing
Software Engineering/Programming and Operating Systems.
Mathematics of Computing.
Formal methods (Computer science)
Special Purpose and Application-Based Systems.
Artificial Intelligence.
Computer Communication Networks.