Languages
Sokolsky, Oleg.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Automated Technology for Verification and Analysis = 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings /
by:
Hung, Dang Van.; SpringerLink (Online service); Sokolsky, Oleg.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
From Reactive Systems to Cyber-Physical Systems = Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday /
by:
Cleaveland, Rance.; Grosu, Radu.; Sokolsky, Oleg.; SpringerLink (Online service); Bartocci, Ezio.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Dependable software engineering = theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings /
by:
Larsen, Kim Guldstrand.; Workshop on the Preservation of Stability under Discretization ((2001 :); Sokolsky, Oleg.; SpringerLink (Online service); Wang, Ji.
(Language materials, printed)
Subjects
Software Engineering.
Mathematical logic.
Data Structures and Information Theory.
Computer System Implementation.
Computer logic.
Artificial intelligence.
Software engineering.
System Performance and Evaluation.
Natural language processing (Computer science).
Data structures (Computer science).
Architecture, Computer.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Special purpose computers.
Probability and Statistics in Computer Science.
Artificial Intelligence.
Special Purpose and Application-Based Systems.
Simulation and Modeling.
Natural Language Processing (NLP).
Computer system failures.
Software engineering