Language: English

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Serwe, Wendelin.

Overview

Works:	0 works in 1 publications in 1 languages

Titles

Formal methods for industrial critical systems = 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024 : proceedings / by: Haxthausen, Anne E.; Serwe, Wendelin.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :) (Language materials, printed)

Subjects

Artificial Intelligence. Compilers and Interpreters. Computer and Information Systems Applications. Computer Engineering and Networks. Formal methods (Computer science) Software engineering Software Engineering. Theory of Computation.

Change password

Login