Showing 1 - 20
of 350
for search: '',
query time: 0.09s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Genre: Conference papers and proceedings
Institution: Colorado Mesa University
Subject: Formal methods (Computer science)
Institution
Collection
Format
Subject
Formal methods (Computer science)
96
Software engineering
66
Computer software Verification
21
Computer simulation
21
Computer software Testing
19
Electronic data processing Distributed processing
more ...
18
Computer science Mathematics
18
Temporal automata
17
Component software
17
Computer programs Verification
16
Logic, Symbolic and mathematical
15
Artificial intelligence
15
Computer software Development
14
Formal languages
13
Computer software Reliability
13
System analysis
12
Computer logic
12
Computer network protocols
12
Computer programs Reliability
12
Computer systems Evaluation
12
Machine learning
12
Object-oriented methods (Computer science)
11
Computer science
11
Object-oriented programming (Computer science)
11
Web services
10
Robots Programming
9
Computer security
9
Machine theory
7
Computer systems
7
Computers Reliability
see all ...
less ...
Author
339
SpringerLink (Online service)
22
ISoLA (Symposium)
20
International Conference on Software Engineering and Formal Methods
20
Margaria-Steffen, Tiziana, 1964-
17
FORMATS (Conference)
17
International Workshop on Formal Methods for Industrial Critical Systems
more ...
16
International Conference on Formal Engineering Methods
16
International Symposium of Formal Methods Europe
15
Steffen, Bernhard,
14
Brazilian Symposium on Formal Methods
14
International Conference on Integrated Formal Methods
14
RV (Conference)
13
DCFS (Workshop)
12
EPEW (Workshop)
12
FACS (Symposium)
12
International School on Formal Methods for the Design of Computer, Communication, and Software Systems
12
International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Italy)
11
Liu, Shaoying, 1960-
10
International Federated Conferences on Distributed Computing Techniques
9
Duan, Zhenhua,
9
FMCO (Symposium)
9
NFM (Symposium)
9
SOFL+MSVL (Workshop)
8
International Conference on Formal Concept Analysis
8
Ölveczky, Peter Csaba,
7
Bernardo, Marco
7
Boer, Frank S. de
6
FORTE (Conference)
6
International Conference on Formal Methods for Open Object-Based Distributed Systems
6
WS-FM (Workshop)
see all ...
less ...
Language
Literary Form
Era
Call Number
Year of Publication