Language: English

回圖書館首頁

手機版館藏查詢

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

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

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Formal methods for industrial critical systems = 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022 : proceedings / by: International Workshop on Formal Methods for Industrial Critical Systems (2022 :); Groote, Jan Friso.; Huisman, Marieke.; 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