Treffer 1 - 5 von 5 für Suche 'A. A. Letichevskij', Suchdauer: 0,01s Treffer weiter einschränken
  1. 1
    Algebraic interaction theory and cyber-physical systems
    von A. A. Letichevskij
    Veröffentlicht 2017
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  2. 2
    Cyber-physical systems
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  3. 3
    A static method for elimination of redundant dependencies in preconditions of transitions of formal models of transition systems
    von A. V. Kolchin, A. A. Letichevskij, S. V. Potienko
    Veröffentlicht 2015
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  4. 4
    A survey of systematic methods for code-based test data generation
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  5. 5
    Algorithm and tools for constructing canonical forms of linear semi-algebraic formulas
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren – Diese Suche als E-Mail versenden