語系
Fisman, Dana.
概要
| 作品: | 0 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Tools and algorithms for the construction and analysis of systems = 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings.. Part I /
by:
TACAS (Conference) (2022 :); Fisman, Dana.; Rosu, Grigore.; SpringerLink (Online service); ETAPS (Conference) (2022 :)
(書目-電子資源)
Tools and algorithms for the construction and analysis of systems = 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings.. Part II /
by:
TACAS (Conference) (2022 :); Fisman, Dana.; Rosu, Grigore.; SpringerLink (Online service); ETAPS (Conference) (2022 :)
(書目-電子資源)
Runtime verification = 21st International Conference, RV 2021, virtual event, October 11-14, 2021 : proceedings /
by:
RV (Conference) (2021 :); Feng, Lu.; Fisman, Dana.; SpringerLink (Online service)
(書目-電子資源)
主題
Theory of Computation.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Logic in AI.
Control Structures and Microprogramming.
Formal methods (Computer science)
System design
Computer software- Testing
Computer Engineering and Networks.
Computer Modelling.
Coding and Information Theory.
Computer software- Verification
System analysis