Huisman, Marieke.
概要
作品: | 1 作品在 8 項出版品 1 種語言 |
---|
書目資訊
Formal methods for industrial critical systems = 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022 : proceedings /
by:
Huisman, Marieke.; SpringerLink (Online service); Groote, Jan Friso.; International Workshop on Formal Methods for Industrial Critical Systems (2022 :)
(書目-電子資源)
Tools and algorithms for the construction and analysis of systems = 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings.. Part I /
by:
TACAS (Conference) (2018 :); Beyer, Dirk.; Huisman, Marieke.; SpringerLink (Online service); ETAPS (Conference) (2018 :)
(書目-電子資源)
Formal methods = 24th International Symposium, FM 2021, virtual event, November 20-26, 2021 : proceedings /
by:
International Symposium of Formal Methods Europe (2021 :); Huisman, Marieke.; Pasareanu, Corina.; Zhan, Naijun.; SpringerLink (Online service)
(書目-電子資源)
Formal techniques for distributed objects, components, and systems = 43rd IFIP WG 6.1 International Conference, FORTE 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023 : proceedings /
by:
Huisman, Marieke.; SpringerLink (Online service); FORTE Conference (2023 :); Ravara, Antonio.; International Federated Conferences on Distributed Computing Techniques (2023 :)
(書目-電子資源)
Fundamental approaches to software engineering = 20th International Conference, FASE 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings /
by:
FASE (Conference) (2017 :); Huisman, Marieke.; Rubin, Julia.; SpringerLink (Online service); ETAPS (Conference) (2017 :)
(書目-電子資源)
Concise guide to software verification = from model checking to annotation checking /
by:
Huisman, Marieke.; Wijs, Anton.; SpringerLink (Online service)
(書目-電子資源)
Tools and algorithms for the construction and analysis of systems = 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings.. Part II /
by:
TACAS (Conference) (2018 :); Beyer, Dirk.; Huisman, Marieke.; SpringerLink (Online service); ETAPS (Conference) (2018 :)
(書目-電子資源)
Integrated formal methods = 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings /
by:
Abraham, Erika.; Huisman, Marieke.; SpringerLink (Online service)
(書目-電子資源)
主題
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Data Structures, Cryptology and Information Theory.
Computing Methodologies.
Theory of Computation.
Computer network protocols
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Computer and Information Systems Applications.
Computing Milieux.
Software Testing.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
System design
Special Purpose and Application-Based Systems.
Computer software- Verification.
Computational Number Theory.
Computer Engineering and Networks.
Electronic data processing- Distributed processing
Artificial Intelligence.
Computer Science.
Computer software- Verification
System Performance and Evaluation.
Computer Systems Organization and Communication Networks.
Computer Hardware.
System analysis
Compilers and Interpreters.