Language: English

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Neele, Thomas.

Overview

Works:	0 works in 1 publications in 1 languages

Titles

Model checking software = 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024 : proceedings / by: SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Neele, Thomas.; Wijs, Anton. (Language materials, printed)

Subjects

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

Change password

Login