Kosmatov, Nikolai.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Testing Software and Systems = 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings /
by:
Le Gall, Pascale.; Kosmatov, Nikolai.; Gaston, Christophe.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Guide to software verification with Frama-C = core components, usages, and applications /
by:
Kosmatov, Nikolai.; Prevosto, Virgile.; SpringerLink (Online service); Signoles, Julien.
(Language materials, printed)
Tests and Proofs = 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /
by:
Blanchette, Jasmin Christian.; Kosmatov, Nikolai.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Tests and proofs = 9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 : proceedings /
by:
SpringerLink (Online service); Blanchette, Jasmin Christian.; Workshop on the Preservation of Stability under Discretization ((2001 :); Kosmatov, Nikolai.
(Language materials, printed)
Subjects
Software Engineering.
Mathematical logic.
Computer organization.
Computer logic.
Artificial intelligence.
Coding and Information Theory.
Software engineering.
Programming Language.
Computers.
Software engineering
Computer Science.
Programming Techniques.
Computer programming.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Software Testing.
Computer software
Computer simulation.
Computational Mathematics and Numerical Analysis.
Artificial Intelligence.
Simulation and Modeling.
Computing Milieux.