Sankaranarayanan, Sriram.
概要
| 作品: | 4 作品在 5 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal Modeling and Analysis of Timed Systems = 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015 : proceedings /
by:
Vicario, Enrico.; Sankaranarayanan, Sriram.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Automated technology for verification and analysis = 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024 : proceedings.. Part II /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Akshay, S.; Sankaranarayanan, Sriram.; SpringerLink (Online service); Niemetz, Aina.
(書目-語言資料,印刷品)
Formal Modeling and Analysis of Timed Systems = 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings /
by:
Sankaranarayanan, Sriram.; SpringerLink (Online service); Vicario, Enrico.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Verification, model checking, and abstract interpretation = 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025 : proceedings.. Part I /
by:
Shankaranarayanan, Krishna.; Trivedi, Ashutosh.; Sankaranarayanan, Sriram.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Automated technology for verification and analysis = 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024 : proceedings.. Part I /
by:
Sankaranarayanan, Sriram.; Akshay, S.; SpringerLink (Online service); Niemetz, Aina.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Verification, model checking, and abstract interpretation = 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025 : proceedings.. Part II /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Shankaranarayanan, Krishna.; Sankaranarayanan, Sriram.; Trivedi, Ashutosh.
(書目-語言資料,印刷品)
主題
Mathematical logic.
Formal methods (Computer science)
Software engineering.
Theory of Computation.
Computer programs
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Application software.
Artificial Intelligence.
Computer Applications.
Computer simulation
Computers.
System analysis
Software Engineering.
Computer logic.
Automatic theorem proving
Logic in AI.
Mathematics of Computing.
Computer Science.
Computer Engineering and Networks.
Temporal automata
Special Purpose and Application-Based Systems.
Computer Hardware.
Computation by Abstract Devices.