Suggested Topics within your search.
Suggested Topics within your search.
Artificial intelligence
3
Mathematical theory of computation
3
Technology: general issues
3
Computer architecture & logic design
2
Software Engineering
2
Software testing & verification
2
Systems analysis & design
2
Business mathematics & systems
1
Computer modelling & simulation
1
Computer programming / software development
1
Computer science
1
Information architecture
1
-
1
-
2by Breitner, JoachimSubjects: “… Semantics Formal Verification Haskell Isabelle…”
Published 2016
Get Fullteks
DOAB: description of the publication
Book Chapter -
3Published 2021Subjects: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal…”
Get Fullteks
DOAB: description of the publication
Book Chapter -
4Published 2020Subjects: “…Formal Verification, Specification, Synthesis, and Testing…”
Get Fullteks
DOAB: description of the publication
Book Chapter -
5Published 2021Subjects: “…formal verification…”
Get Fullteks
DOAB: description of the publication
Book Chapter -
6Published 2021Subjects: “…formal verifications…”
Get Fullteks
DOAB: description of the publication
Book Chapter -
7Published 2021Subjects: “…formal verification…”
Get Fullteks
DOAB: description of the publication
Book Chapter -
8Published 2021Subjects: “…formal verification…”
Get Fullteks
DOAB: description of the publication
Book Chapter -
9