Fisman, Dana.
Overview
| Works: | 31 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Runtime verification21st International Conference, RV 2021, virtual event, October 11-14, 2021 : proceedings /
by:
(1998 :); Feng, Lu.; Fisman, Dana.; SpringerLink (Online service)
(Electronic resources)
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)
(Electronic resources)
A Practical Introduction to PSL
by:
Eisner, Cindy.; Fisman, Dana.; SpringerLink (Online service)
(Electronic resources)
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)
(Electronic resources)
Subjects
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