Treffer
1 - 2
von
2
für Suche '
Shchepetkov, Ilya V.
'
Weiter zum Inhalt
VuFind
Zwischenablage:
0
in der Auswahl
(Voll)
Anmeldung über Ihre Einrichtung
Bootstrap
Reg_test
TUM
GatewayBayern
Rvk
reg_uni
Standard Theme
Mobile Theme
thws
Layout
Englisch
Deutsch
Sprache
OPAC
OPACplus
Stichwort
Titel
Verfasser
Schlagwort
Suchen
Erweitert
Suchergebnisse - Shchepetkov, Ilya V.
Treffer
1 - 2
von
2
für Suche '
Shchepetkov, Ilya V.
'
, Suchdauer: 0,27s
Treffer weiter einschränken
Sortieren
Relevanz
Nach Datum, absteigend
Verfasser
Titel
1
Using Refinement in Formal Development of OS Security Model
von
Devyanin, Petr N.
,
Khoroshilov, Alexey V.
,
Kuliamin, Victor V.
,
Petrenko, Alexander K.
,
Shchepetkov, Ilya V.
Volltext
Buchkapitel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
2
Formal Verification of OS Security Model with Alloy and Event-B
von
Devyanin, Petr N.
,
Khoroshilov, Alexey V.
,
Kuliamin, Victor V.
,
Petrenko, Alexander K.
,
Shchepetkov, Ilya V.
Volltext
Buchkapitel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge:
RSS-Feed abonnieren
Diese Suche als E-Mail versenden
Suche speichern
Zurück
Treffer weiter einschränken
Seite wird neu geladen, wenn Filter aktiviert oder ausgeschlossen wird.
Eingrenzen
Peer Reviewed
2 Treffer
2
Online Resources
2 Treffer
2
Format
Book Chapters
2 Treffer
2
Schlagworte
Computer Science
2 Treffer
2
Computer Science, Theory & Methods
2 Treffer
2
Science & Technology
2 Treffer
2
Technology
2 Treffer
2
Computer Programming / Software Development
1 Treffer
1
Computer Science, Software Engineering
1 Treffer
1
Event-B
1 Treffer
1
Formal Verification
1 Treffer
1
Refinement
1 Treffer
1
Security Model
1 Treffer
1
Erscheinungsjahr
Von:
Bis:
Quelle
Ebook Central Perpetual And Dda
2 Treffer
2
Ebooks On Ebscohost
2 Treffer
2
Casalini Torrossa Ebook Single Purchase
2 Treffer
2
Ingentaconnect
2 Treffer
2
Springer Books
2 Treffer
2