Language: English

圖資館首頁

Login

Languages

English (2)

Covers

Jump To : Overview | Titles | Subjects

Caltais, Georgiana.

Overview

Works:	2 works in 2 publications in 1 languages

Titles

Model checking software29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023 : proceedings / by: (1998 :); Caltais, Georgiana.; Schilling, Christian.; SpringerLink (Online service) (Electronic resources)

Fundamentals of software engineering11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025 : proceedings / by: (1998 :); Caltais, Georgiana.; Hojjat, Hossein.; SpringerLink (Online service) (Electronic resources)

Subjects

Software engineering Software Engineering. Theory of Computation. Computer software Control Structures and Microprogramming. Computer Engineering and Networks. Control, Robotics, Automation. Artificial Intelligence. Computer Communication Networks.

Change password

Login