Languages
Caltais, Georgiana.
Overview
| Works: | 3 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Model checking software = 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023 : proceedings /
by:
International SPIN Workshop (2023 :); Caltais, Georgiana.; Schilling, Christian.; SpringerLink (Online service)
(Electronic resources)
Fundamentals of software engineering = 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025 : proceedings /
by:
IPM International Conference on Fundamentals of Software Engineering (2023 :); Hojjat, Hossein.; Caltais, Georgiana.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software engineering
Software Engineering.
Theory of Computation.
SPIN (Computer file)
Control Structures and Microprogramming.
Computer software- Testing
Computer Engineering and Networks.
Control, Robotics, Automation.
Artificial Intelligence.
Computer software- Verification
Computer Communication Networks.