Language: English

回圖書館首頁

手機版館藏查詢

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

International Workshop on Formal Methods for Industrial Critical Systems (2023 :)

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Formal methods for industrial critical systems = 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings / by: International Workshop on Formal Methods for Industrial Critical Systems (2023 :); Cimatti, Alessandro.; Titolo, Laura.; SpringerLink (Online service) (Electronic resources)

Subjects

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

Change password

Login