Suggested Topics within your search.
Suggested Topics within your search.
- Artificial intelligence 4
- Mathematical theory of computation 4
- Systems analysis & design 4
- Computer architecture & logic design 3
- Software testing & verification 3
- Technology: general issues 3
- Software Engineering 2
- Business mathematics & systems 1
- Computer modelling & simulation 1
- Computer programming / software development 1
- Computer science 1
- Information architecture 1
-
1
-
2
Lazy Evaluation: From natural semantics to a machine-checked compiler transformation
Published 2016Subjects: “…Funktionale Programmierung Formale Verifikation Semantik Isabelle HaskellFunctional Programming Semantics Formal Verification Haskell Isabelle…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
3
Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022
Published 2022Subjects: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
4
Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023
Published 2023Subjects: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
5
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020
Published 2020Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
6
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
Published 2021Subjects: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
7
Agents and Robots for Reliable Engineered Autonomy
Published 2021Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
8
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
Published 2021Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
9
Trustworthiness in Mobile Cyber Physical Systems
Published 2021Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
10
Cyber Security of Critical Infrastructures
Published 2021Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
11
Managed Software Evolution
Published 2019DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter