Showing 1 - 20
of 31
for search: '"Computer systems Verification"',
query time: 0.36s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Collection
Format
Subject
30
Computer systems Verification
14
Decidability (Mathematical logic)
11
Computer science Mathematics
4
Cybernetics
3
Artificial intelligence
3
Automatic control
more ...
3
Computer software Verification
3
Cooperating objects (Computer systems)
3
Sensor networks
2
Computer software Testing
2
Graph theory Data processing
1
Algorithms
1
Automatic control Computer programs
1
Automatic theorem proving
1
Computer algorithms
1
Computer organization
1
Computer science
1
Computer systems Verification Mathematical models
1
Computers
1
Configurations
1
Data structures (Computer science)
1
Digital control systems
1
Electronic systems
1
Electronic systems Verification Mathematical models
1
Engineering
1
Formal methods (Computer science)
1
Hybrid systems
1
Integrated circuits Verification
1
Integrated circuits Verification Mathematical models
1
Integrated circuits Very large scale integration Design Data processing
see all ...
less ...
Author
28
SpringerLink (Online service)
10
Potapov, Igor,
10
RP (Workshop)
4
CyPhy (Workshop)
4
International Conference on Reachability Problems
4
Potapov, Igor
more ...
2
Mousavi, Mohammad Reza, 1978-
2
Peled, Doron A., 1962-
2
Taha, Walid, 1972-
1
Abdulla, Parosh Aziz,
1
Ammann, Paul
1
Bell, Paul C.,
1
Berger, Christian (Professor of Software Engineering)
1
Berger, Christian (Professor of Software Engineering),
1
Black, Paul E.
1
Bloem, Roderick P.,
1
Bournez, Olivier
1
Bournez, Olivier.,
1
Chamberlain, Roger
1
Chamberlain, Roger,
1
Chen, Mingsong
1
Clarke, Edmund M., Jr. 1945-2020
1
Clarke, Edmund M., Jr. 1945-2020,
1
CyPhy (Workshop) Amsterdam, Netherlands)
1
CyPhy (Workshop) New York, N.Y.)
1
CyPhy (Workshop) Pittsburgh, Pa.)
1
CyPhy (Workshop) Seoul, Korea)
1
Delzanno, Giorgio
1
Ding, Wei, 1967 September 14-
1
Drechsler, Rolf,
see all ...
less ...
Language
Genre
Literary Form
Year of Publication