Fisman, Dana.
概要
作品: | 27 作品在 3 項出版品 1 種語言 |
---|
書目資訊
Runtime verification21st International Conference, RV 2021, virtual event, October 11-14, 2021 : proceedings /
by:
(1998 :); Feng, Lu.; Fisman, Dana.; SpringerLink (Online service)
(書目-電子資源)
Tools and algorithms for the construction and analysis of systems28th 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:
(1998 :); Fisman, Dana.; Rosu, Grigore.; SpringerLink (Online service)
(書目-電子資源)
A Practical Introduction to PSL
by:
Eisner, Cindy.; Fisman, Dana.; SpringerLink (Online service)
(書目-電子資源)
Tools and algorithms for the construction and analysis of systems28th 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:
(1998 :); Fisman, Dana.; Rosu, Grigore.; SpringerLink (Online service)
(書目-電子資源)
主題
Theory of Computation.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Logic in AI.
Computer software
Control Structures and Microprogramming.
Computer-Aided Engineering (CAD, CAE) and Design.
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
System design
Circuits and Systems.
Computer Engineering and Networks.
Computer Modelling.
Coding and Information Theory.
Computer hardware description languages.
Engineering.
Integrated circuits
System analysis