Languages
International Conference on Software Engineering and Formal Methods (2019 :)
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Software engineering and formal methods = 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019 : proceedings /
by:
International Conference on Software Engineering and Formal Methods (2019 :); Olveczky, Peter Csaba.; Salaun, Gwen.; SpringerLink (Online service)
(Electronic resources)
Software engineering and formal methods = SEFM 2019 collocated workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019 : revised selected papers /
by:
International Conference on Software Engineering and Formal Methods (2019 :); Camara, Javier.; Steffen, Martin.; SpringerLink (Online service); CoSim-CPS (Workshop) (2019 :); ASYDE (Workshop) ((2019 :); CIFMA (Workshop) ((2019 :); International Workshop on the Foundations of Coordination Languages and Software Architectures (2019 :)
(Electronic resources)
Subjects
Software engineering
Software Engineering.
Theory of Computation.
Natural Language Processing (NLP)
Logic in AI.
Control Structures and Microprogramming.
Information Systems Applications (incl. Internet)
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Artificial Intelligence.
System Performance and Evaluation.
Simulation and Modeling.
Computer System Implementation.