Showing 1 - 13
of 13
for search: '"Computer software"',
query time: 0.20s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Collection
Format
Subject
Computer software Reliability
Formal methods (Computer science)
11
Computer programs Reliability
11
Computer programs Verification
11
Computer software Verification
11
Software engineering
more ...
1
Computer security
1
Computers Reliability
1
Electronic digital computers Reliability
1
Fault-tolerant computing
1
Modeling
1
Simulation methods
see all ...
less ...
Author
13
SpringerLink (Online service)
11
International Workshop on Formal Methods for Industrial Critical Systems
2
International Workshop on Automated Verification of Critical Systems
1
Barnat, Jiří,
1
Beek, Maurice H. ter,
1
Brim, Lubǒs
more ...
1
Butler, Michael, 1967-
1
Cavalcanti, Ana,
1
Cofer, Darren
1
Daniel, Peter, 1950-
1
Dierkes, Michael,
1
Fantechi, Alessandro
1
Flammini, Francesco,
1
Gnesi, Stefania, 1954-
1
Güdemann, Matthias,
1
Howar, Falk,
1
International Symposium of Formal Methods Europe
1
International Workshop on Formal Methods for Industrial Critical Systems Amsterdam, Netherlands)
1
International Workshop on Formal Methods for Industrial Critical Systems Bonn, Germany)
1
International Workshop on Formal Methods for Industrial Critical Systems Florence, Italy)
1
International Workshop on Formal Methods for Industrial Critical Systems L'Aquila, Italy)
1
International Workshop on Formal Methods for Industrial Critical Systems Madrid, Spain)
1
International Workshop on Formal Methods for Industrial Critical Systems Maynooth, Ireland)
1
International Workshop on Formal Methods for Industrial Critical Systems Online)
1
International Workshop on Formal Methods for Industrial Critical Systems Oslo, Norway)
1
International Workshop on Formal Methods for Industrial Critical Systems Pisa, Italy)
1
International Workshop on Formal Methods for Industrial Critical Systems Trento, Italy)
1
International Workshop on Formal Methods for Industrial Critical Systems Turin, Italy),
1
Knapp, Alexander, 1971-
1
Lang, Frédéric,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication