//--> //--> //-->
Toggle navigation
Logout
Change account settings
EN
DE
ES
FR
A-Z
Beta
About EconBiz
News
Thesaurus (STW)
Research Skills
Help
EN
DE
ES
FR
My account
Logout
Change account settings
Login
Publications
Events
Your search terms
Search
Retain my current filters
~person:"Synetskyi, Oleksandr"
Search options
All Fields
Title
Exact title
Subject
Author
Institution
ISBN/ISSN
Published in...
Publisher
Open Access only
Advanced
Search history
My EconBiz
Favorites
Loans
Reservations
Fines
You are here:
Home
Search: subject:"formal proof"
Narrow search
Delete all filters
| 1 applied filter
Year of publication
From:
To:
Subject
All
information and telecommunication system
1
information security system
1
method of formal proof of security
1
security policy
1
specification language
1
Online availability
All
Free
1
Type of publication
All
Article
1
Type of publication (narrower categories)
All
Article in journal
1
Aufsatz in Zeitschrift
1
Language
All
English
1
Author
All
Synetskyi, Oleksandr
Kerber, Manfred
4
Lange, Christoph
4
Rowat, Colin
4
Caminati, Marco B
1
Caminati, Marco B.
1
Fiet, James O.
1
Zhora, Victor
1
more ...
less ...
Published in...
All
Technology audit and production reserves
1
Source
All
ECONIS (ZBW)
1
Showing
1
-
1
of
1
Sort
relevance
articles prioritized
date (newest first)
date (oldest first)
1
Use of the PVS formal logic system in the method of
formal
proof
of security in the construction of information security systems
Zhora, Victor
;
Synetskyi, Oleksandr
- In:
Technology audit and production reserves
2
(
2021
)
2/58
,
pp. 41-45
Persistent link: https://www.econbiz.de/10013163885
Saved in:
Results per page
10
25
50
100
250
A service of the
zbw
×
Loading...
//-->