語系
Larsen, Kim Guldstrand.
概要
| 作品: | 1 作品在 6 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Computer aided verification = 14th international conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings /
by:
Brinksma, Ed.; Larsen, Kim Guldstrand.; SpringerLink (Online service); CAV 2002 (Conference) ((2002 :); Federated Logic Conference.
(書目-語言資料,印刷品)
Formal methods for industrial critical systems = 24th International Conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings /
by:
Larsen, Kim Guldstrand.; SpringerLink (Online service); Willemse, Tim.; International Workshop on Formal Methods for Industrial Critical Systems (2019 :)
(書目-電子資源)
Tools and algorithms for the construction and analysis of systems = 27th International Conference, TACAS 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings.. Part II /
by:
Larsen, Kim Guldstrand.; SpringerLink (Online service); ETAPS (Conference) (2021 :); TACAS (Conference) (2021 :); Groote, Jan Friso.
(書目-電子資源)
Tools and algorithms for the construction and analysis of systems = 27th International Conference, TACAS 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings.. Part I /
by:
Larsen, Kim Guldstrand.; SpringerLink (Online service); TACAS (Conference) (2021 :); Groote, Jan Friso.; ETAPS (Conference) (2021 :)
(書目-電子資源)
Dependable software engineering = theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings /
by:
Larsen, Kim Guldstrand.; SpringerLink (Online service); SETTA (Symposium) (2017 :); Sokolsky, Oleg.; Wang, Ji.
(書目-電子資源)
Verification, model checking, and abstract interpretation = 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings /
by:
Larsen, Kim Guldstrand.; SpringerLink (Online service); D'Souza, Deepak.; Lal, Akash.
(書目-電子資源)
Reachability problems = 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016 : proceedings /
by:
Larsen, Kim Guldstrand.; SpringerLink (Online service); RP (Workshop) (2016 :); Srba, Jiri.; Potapov, Igor.
(書目-電子資源)
主題
Integrated circuits- Verification
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Theory of Computation.
Logics and Meanings of Programs.
Logic in AI.
Information Systems and Communication Service.
Computer programs- Reliability
Computation by Abstract Devices.
Computer systems- Verification
Algorithm Analysis and Problem Complexity.
Control Structures and Microprogramming.
Programming Languages, Compilers, Interpreters.
Computer science- Mathematics
System design
Formal methods (Computer science)
Artificial Intelligence.
Computer software- Verification
Computer Science.
Computer Communication Networks.
Decidability (Mathematical logic)
Simulation and Modeling.
Probability and Statistics in Computer Science.
Computer Systems Organization and Communication Networks.
Computer software- Reliability
System analysis
Computer programs- Verification