語系
Caltais, Georgiana.
概要
| 作品: | 3 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Model checking software = 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023 : proceedings /
by:
International SPIN Workshop (2023 :); Caltais, Georgiana.; Schilling, Christian.; SpringerLink (Online service)
(書目-電子資源)
Fundamentals of software engineering = 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025 : proceedings /
by:
IPM International Conference on Fundamentals of Software Engineering (2023 :); Caltais, Georgiana.; SpringerLink (Online service); Hojjat, Hossein.
(書目-電子資源)
主題
Software engineering
Software Engineering.
Theory of Computation.
SPIN (Computer file)
Control Structures and Microprogramming.
Computer software- Testing
Computer Engineering and Networks.
Control, Robotics, Automation.
Artificial Intelligence.
Computer software- Verification
Computer Communication Networks.