Kosmatov, Nikolai.
Overview
| Works: | 3 works in 4 publications in 1 languages | |
|---|---|---|
Titles
Testing software and systems31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019 : proceedings /
by:
(1998 :); Gaston, Christophe.; Kosmatov, Nikolai.; Le Gall, Pascale.; SpringerLink (Online service)
(Electronic resources)
Tests and proofs9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 : proceedings /
by:
(1998 :); Blanchette, Jasmin Christian.; Kosmatov, Nikolai.; SpringerLink (Online service)
(Electronic resources)
Guide to software verification with Frama-Ccore components, usages, and applications /
by:
Kosmatov, Nikolai.; Prevosto, Virgile.; Signoles, Julien.; SpringerLink (Online service)
(Electronic resources)
Integrated formal methods19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024 : proceedings /
by:
(1998 :); Kosmatov, Nikolai.; Kovács, Laura.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Programming Language.
Computer software
Programming Techniques.
Computing Milieux.
Software Testing.
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Coding and Information Theory.
Artificial Intelligence.
Computational Mathematics and Numerical Analysis.
Computer Science.
Simulation and Modeling.
Computer Systems Organization and Communication Networks.