Suggested Topics within your search.
Suggested Topics within your search.
Artificial intelligence
5
Computer science
5
Mathematical theory of computation
4
Software Engineering
4
Computer architecture & logic design
3
Computer programming / software development
3
Systems analysis & design
3
Computer modelling & simulation
2
Software testing & verification
2
Automatic control engineering
1
Expert systems / knowledge-based systems
1
Information technology industries
1
Literary studies: fiction, novelists & prose writers
1
Literary theory
1
Network hardware
1
Operating systems
1
Social groups
1
-
1
-
2Published 2021Subjects: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal…”
Get Fullteks
DOAB: description of the publication
Book Chapter -
3Published 2020Subjects: “…Formal Methods…”
Get Fullteks
DOAB: description of the publication
Book Chapter -
4by Alessandra RussoSubjects: “…formal methods…”
Published 2018
Get Fullteks
DOAB: description of the publication
Book Chapter -
5Published 2018Subjects: “…formal methods…”
Get Fullteks
DOAB: description of the publication
Book Chapter -
6by Dirk BeyerSubjects: “…formal methods…”
Published 2018
Get Fullteks
DOAB: description of the publication
Book Chapter -
7Published 2018Subjects: “…formal methods…”
Get Fullteks
DOAB: description of the publication
Book Chapter -
8by Dirk BeyerSubjects: “…formal methods…”
Published 2018
Get Fullteks
DOAB: description of the publication
Book Chapter -
9Published 2018Subjects: “…formal methods…”
Get Fullteks
DOAB: description of the publication
Book Chapter -
10by Ralf KüstersSubjects: “…formal methods…”
Published 2018
Get Fullteks
DOAB: description of the publication
Book Chapter -
11Published 2018Subjects: “…formal methods…”
Get Fullteks
DOAB: description of the publication
Book Chapter -
12Published 2021Subjects: “…formal methods…”
Get Fullteks
DOAB: description of the publication
Book Chapter -
13Published 2021Subjects: “…formal methods…”
Get Fullteks
DOAB: description of the publication
Book Chapter -
14Published 2020Subjects: “…formal methods in evolutionary algorithms…”
Get Fullteks
DOAB: description of the publication
Book Chapter -
15Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405Published 2020Subjects: “…formal methods…”
Get Fullteks
DOAB: description of the publication
Book Chapter -
16Published 2021Subjects: “…formal methods…”
Get Fullteks
DOAB: description of the publication
Book Chapter -
17
-
18
-
19
-
20by Van Voorst, Robert E.Get Fullteks
Published 2020
DOAB: description of the publication
Book Chapter