Languages
Ferreira, Carla.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Formal techniques for distributed objects, components, and systems = 45th IFIP WG 6.1 International Conference, FORTE 2025, held as part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025 : proceedings /
by:
Ferreira, Carla.; SpringerLink (Online service); Mezzina, Claudio Antares.; International Federated Conference on Distributed Computing Techniques (2025 :); FORTE Conference (2025 :)
(Electronic resources)
Software engineering and formal methods = 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings /
by:
International Conference on Software Engineering and Formal Methods (2023 :); Ferreira, Carla.; Willemse, Tim A. C.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software engineering
Software Engineering.
Data Structures and Information Theory.
Computer network protocols
Theory of Computation.
Logic in AI.
Control Structures and Microprogramming.
Programming Techniques.
Operating Systems.
Formal methods (Computer science)
Electronic data processing- Distributed processing
Artificial Intelligence.
Computer System Implementation.
Computer Communication Networks.