Ferreira, Carla.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Software engineering and formal methods21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings /
by:
(1998 :); Ferreira, Carla.; SpringerLink (Online service); Willemse, Tim A. C.
(Electronic resources)
Formal techniques for distributed objects, components, and systems45th 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:
(1998 :); Ferreira, Carla.; Mezzina, Claudio Antares.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software engineering
Software Engineering.
Data Structures and Information Theory.
Computer network protocols
Theory of Computation.
Logic in AI.
Electronic data processing
Control Structures and Microprogramming.
Programming Techniques.
Operating Systems.
Formal methods (Computer science)
Artificial Intelligence.
Computer System Implementation.
Computer Communication Networks.