Previous image
Zoom in
Zoom out
Center
Next image
Skip to content
Home Page
Search functions
Advanced search
International articles search
Search from a central index containing scientific articles, e-books and references from various publishers.
International articles advanced search
Browse the catalogue
Browse by author, topic, genre, area, era or tags.
Browse for databases
Browse for journals
Agents
Search history
Your session-specific search history. To save your searches, please log in.
Library's Services
Library's Services
Information on library services
Service Points and Opening Hours
Finna - search services as a whole
What is the difference between Finna.fi and other Finna search services?
Client register data file
Data protection
Data Protection Statement
Accessibility statement
Collections and databases
Collections
Acquisition proposal
Interlibrary borrowing
Fennica
The National Bibliography
Viola
The national discography of Finland
E-resources
Academic online publications and databases
Help
English
English
Suomi
Svenska
Login
Search
Find
All fields
All fields
Title
Author
Subject
Find
none
Russian
Russian, old
Advanced search
Combined use of formal methods...
Email Record
Email Record:
Combined use of formal methods for reliability assurance of software for safety-critical systems
To:
From:
Subject:
Message:
