Showing 1 - 20
of 86
for search: '"Software engineering Congresses."',
query time: 0.45s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Subject: Formal methods (Computer science)
Institution
Collection
Format
Subject
Formal methods (Computer science)
86
Software engineering
30
Computer software Verification
15
Computer programs Verification
12
Computer programs Reliability
11
Computer software Reliability
more ...
6
Computer hardware description languages
6
Software architecture
4
Artificial intelligence
4
Component software
3
Computer logic
2
Computer programming
2
Computer science
2
Computers, Special purpose
2
Logic, Symbolic and mathematical
1
Automatic control
1
Computer architecture
1
Computer organization
1
Computer simulation
1
Computer systems
1
Computers
1
Electronic data processing
1
Industrial safety Data processing
1
Information theory
1
Integrated circuits Very large scale integration
1
Machine learning
1
Mechatronics
1
Modeling
1
Programming languages (Electronic computers)
1
Robotics
see all ...
less ...
Author
86
SpringerLink (Online service)
20
International Conference on Software Engineering and Formal Methods
17
International Workshop on Formal Methods for Industrial Critical Systems
16
International Conference on Formal Engineering Methods
8
ISoLA (Symposium)
8
Margaria-Steffen, Tiziana, 1964-
more ...
6
Steffen, Bernhard,
5
FDL (Conference)
5
ISoLA (Symposium) Rhodes, Greece)
4
FACS (Symposium)
4
International Conference on Integrated Formal Methods
4
Salaün, G.
3
Calinescu, Radu C., 1968-
3
CoSim-CPS (Workshop)
3
ISoLA (Symposium) Online)
3
International Conference on Software Engineering and Formal Methods Online)
3
SETTA (Symposium)
2
ASYDE (Workshop)
2
Araki, Keijirō, 1954-
2
Arbab, F.
2
CIFMA (Workshop)
2
Cerone, Antonio
2
DataMod (Symposium)
2
FACS (Symposium) Online)
2
FDL (Conference) Paris, France)
2
FMCO (Symposium)
2
FMCO (Symposium) Bertinoro, Italy)
2
Hinchey, Michael G. 1969-
2
International Conference on Software Engineering and Formal Methods Oslo, Norway)
2
International Workshop on Automated Verification of Critical Systems
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication