Bogomolov, Sergiy.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
Formal modeling and analysis of timed systems20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022 : proceedings /
by:
(1998 :); Bogomolov, Sergiy.; Parker, David.; SpringerLink (Online service)
(Electronic resources)
Numerical software verification9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016 : rvised selected papers /
by:
(1998 :); Bogomolov, Sergiy.; Martel, Matthieu.; Prabhakar, Pavithra.; 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.
Computer software
Information Systems Applications (incl. Internet)
Artificial Intelligence (incl. Robotics)
Formal methods (Computer science)
Computer simulation
Computer Engineering and Networks.
Computer Science.
Computer Communication Networks.
Temporal automata
System analysis