Treffer 1 - 3 von 3 für Suche 'V. Peschanenko', Suchdauer: 0,00s Treffer weiter einschränken
  1. 1
    Use of metods of algebraic programming for the formal verification of legal acts
    von V. Peschanenko, M. Poltorackiy
    Veröffentlicht 2018
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  2. 2
    Satisfiability For Symbolic Verification in VRS
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  3. 3
    Deductive verification of requirements for event-driven architecture
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren – Diese Suche als E-Mail versenden