Treffer 1 - 2 von 2 für Suche 'Shchepetkov, Ilya V.', Suchdauer: 0,27s Treffer weiter einschränken
  1. 1
    Using Refinement in Formal Development of OS Security Model

    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

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Formal Verification of OS Security Model with Alloy and Event-B

    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

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: