Sokolova, Ana.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Formal Techniques for Distributed Objects, Components, and Systems = 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings /
by:
Gotsman, Alexey.; SpringerLink (Online service); Sokolova, Ana.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Model Checking Software = 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings /
by:
Sokolova, Ana.; Laarman, Alfons.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Model Checking Software = 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings /
by:
Laarman, Alfons.; Sokolova, Ana.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Software Engineering.
Mathematical logic.
Computer organization.
Software Engineering/Programming and Operating Systems.
Computer Modelling.
Computer logic.
Algorithm Analysis and Problem Complexity.
Artificial intelligence.
Formal Languages and Automata Theory.
Software engineering.
Computers, Special purpose.
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithms.
Special purpose computers.
Computer simulation.
Artificial Intelligence.
Special Purpose and Application-Based Systems.
Design and Analysis of Algorithms.
Simulation and Modeling.
Computer science.
Machine theory.
Computer Science Logic and Foundations of Programming.