語系
Bogomolov, Sergiy.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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)
(書目-電子資源)
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)
(書目-電子資源)
主題
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