Language: English

圖資館首頁

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Caltais, Georgiana.

Overview

Works:	2 works in 1 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)

Subjects

Software engineering Software Engineering. Computer software Computer Engineering and Networks. Control, Robotics, Automation. Artificial Intelligence.

Change password

Login