Language:
English
繁體中文
Help
圖資館首頁
Login
Languages
English
(1)
Jump To :
Overview
|
Titles
|
Subjects
Hillston, J.
Overview
Works:
1 works in 1 publications in 1 languages
Titles
Quantitative evaluation of systems and formal modeling and analysis of timed systemsfirst International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024 : proceedings /
by: (1998 :); Hillston, J.; Soudjani, Sadegh.; SpringerLink (Online service); Waga, Masaki.
(Electronic resources)
Subjects
Theory of Computation.
Software Engineering.
Mathematics of Computing.
Computer systems
Reliability (Engineering)
Computer Engineering and Networks.
Artificial Intelligence.
Computer networks
Processing
...
Change password
Login
