Language: English

圖資館首頁

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Neele, Thomas.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Model checking software30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024 : proceedings / by: (1998 :); Neele, Thomas.; SpringerLink (Online service); Wijs, Anton. (Electronic resources)

Subjects

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

Change password

Login