Languages
Bogomolov, Sergiy.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Numerical software verification = 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016 : rvised selected papers /
by:
International Workshop on Numerical Software Verification (2016 :); Bogomolov, Sergiy.; Martel, Matthieu.; Prabhakar, Pavithra.; SpringerLink (Online service)
(Electronic resources)
Formal modeling and analysis of timed systems = 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022 : proceedings /
by:
FORMATS (Conference) (2022 :); Bogomolov, Sergiy.; Parker, David.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Theory of Computation.
Data Structures and Information Theory.
Natural Language Processing (NLP)
Logics and Meanings of Programs.
Logic in AI.
Information Systems Applications (incl. Internet)
Artificial Intelligence (incl. Robotics)
Formal methods (Computer science)
Computer simulation
Computer Engineering and Networks.
Computer software- Verification
Computer Science.
Computer Communication Networks.
Temporal automata
System analysis