Abraham, Erika.
Overview
| Works: | 1 works in 7 publications in 1 languages | |
|---|---|---|
Titles
Tools and algorithms for the construction and analysis of systems20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings /
by:
(1998 :); Abraham, Erika.; Havelund, Klaus.; SpringerLink (Online service)
(Electronic resources)
Formal techniques for distributed objects, components, and systems34th IFIP WG 6.1 International Conference, FORTE 2014, held as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014 : proceedings /
by:
(1998 :); Abraham, Erika.; Palamidessi, Catuscia.; SpringerLink (Online service)
(Electronic resources)
Integrated formal methods12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings /
by:
(1998 :); Abraham, Erika.; Huisman, Marieke.; SpringerLink (Online service)
(Electronic resources)
Quantitative evaluation of systems19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022 : proceedings /
by:
(1998 :); Abraham, Erika.; Paolieri, Marco.; SpringerLink (Online service)
(Electronic resources)
Fundamentals of software engineering10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023 : revised selected papers /
by:
(1998 :); Abraham, Erika.; Hojjat, Hossein.; SpringerLink (Online service)
(Electronic resources)
Theoretical aspects of computing - ICTAC 202320th International Colloquium, Lima, Peru, December 4-8, 2023 : proceedings /
by:
(1998 :); Abraham, Erika.; Dubslaff, Clemens.; SpringerLink (Online service); Tapia Tarifa, Silvia Lizeth.
(Electronic resources)
Theory and practice of formal methodsessays dedicated to Frank de Boer on the occasion of his 60th birthday /
by:
Abraham, Erika.; Bonsangue, Marcello.; Johnsen, Einar Broch.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Computer network protocols
Computer logic.
Software engineering
Theory of Computation.
Logics and Meanings of Programs.
Electronic data processing
Logic, Symbolic and mathematical.
Mathematics of Computing.
Computer software
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Artificial Intelligence (incl. Robotics)
Computer systems
Reliability (Engineering)
Control Structures and Microprogramming.
System design
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Software engineering.
Programming languages (Electronic computers)
Algorithms.
Computer Science Logic and Foundations of Programming.
Computer Engineering and Networks.
Computer Modelling.
Artificial Intelligence.
Computer science
Computer Science.
Computer science.
Computer networks
Computer Communication Networks.
System analysis
Artificial intelligence.
Stochastic processes