Showing 1 - 20
of 63
for search: '"Engineering Congresses."',
query time: 0.34s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Subject: Computer software Verification
Institution
Collection
Format
Subject
Computer software Verification
63
Software engineering
30
Formal methods (Computer science)
18
Computer software Testing
11
Computer programs Reliability
11
Computer programs Verification
more ...
11
Computer software Reliability
6
Computer hardware description languages
6
Software architecture
2
Computers, Special purpose
2
Logic, Symbolic and mathematical
2
Programming languages (Electronic computers)
1
Artificial intelligence
1
Computer architecture
1
Computer logic
1
Computer programming
1
Computer science
1
Computer software Development
1
Computers
1
Industrial safety Data processing
1
Integrated circuits Very large scale integration
1
Machine learning
1
Microprogramming
1
Modeling
1
Natural language processing (Computer science)
1
Simulation methods
see all ...
less ...
Author
63
SpringerLink (Online service)
11
International Workshop on Formal Methods for Industrial Critical Systems
10
International SPIN Workshop
10
VMCAI (Conference)
9
TAP (Conference)
8
ISoLA (Symposium)
more ...
8
Margaria-Steffen, Tiziana, 1964-
6
STAF (Federation of conferences)
6
Steffen, Bernhard,
5
FDL (Conference)
5
ISoLA (Symposium) Rhodes, Greece)
3
ISoLA (Symposium) Online)
3
International Conference on Formal Engineering Methods
2
Beyer, Dirk, 1972-
2
FDL (Conference) Paris, France)
2
International SPIN Workshop Online)
2
International Workshop on Automated Verification of Critical Systems
2
Kaźmierski, Thomas J.
2
Larsen, K. G. 1957-
2
Meyer, Bertrand, 1950-
2
Nordio, Martin
2
Steffen, Bernhard
1
Ahrendt, Wolfgang
1
Aichernig, Bernhard K., 1969-
1
Aoki, Toshiaki
1
Barnat, Jiří,
1
Bartocci, Ezio (Computer scientist),
1
Beek, Maurice H. ter
1
Beek, Maurice H. ter,
1
Berdine, Josh
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication