Rosu, Grigore.
Overview
| Works: | 0 works in 4 publications in 1 languages | |
|---|---|---|
Titles
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)
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)
Formal techniques for distributed systemsJoint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012 : proceedings /
by:
(1998 :); Giese, Holger.; Rosu, Grigore.; SpringerLink (Online service)
(Electronic resources)
Model checking software28th International Symposium, SPIN 2022, virtual event, May 21, 2022 : proceedings /
by:
(1998 :); Legunsen, Owolabi.; Rosu, Grigore.; SpringerLink (Online service)
(Electronic resources)
Algebraic Methodology and Software Technology12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings /
by:
(1998 :); Meseguer, Jose.; Rosu, Grigore.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Software engineering
Algebraic logic
Theory of Computation.
Logics and Meanings of Programs.
Electronic data processing
Logic in AI.
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Computer software
Control Structures and Microprogramming.
Abstract data types (Computer science)
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
System design
Computer Engineering and Networks.
Computer Modelling.
Coding and Information Theory.
Artificial Intelligence.
Computer Science.
Computer Communication Networks.
Symbolic and Algebraic Manipulation.
System analysis