Kosmatov, Nikolai.
概要
| 作品: | 3 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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)
(書目-電子資源)
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)
(書目-電子資源)
Guide to software verification with Frama-Ccore components, usages, and applications /
by:
Kosmatov, Nikolai.; Prevosto, Virgile.; Signoles, Julien.; SpringerLink (Online service)
(書目-電子資源)
Integrated formal methods19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024 : proceedings /
by:
(1998 :); Kosmatov, Nikolai.; Kovács, Laura.; SpringerLink (Online service)
(書目-電子資源)
主題
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.