Ähnliche Schlagwörter innerhalb Ihrer Suche.
Treffer 1 - 2 von 2 für Suche '"UDC 004.415.5"', Suchdauer: 0,10s Treffer weiter einschränken
  1. 1
    Traversal of arbitrary sequences of UCM symbolic transitions for test generation
    von Guba, A.A.
    Veröffentlicht 2025
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  2. 2
    Static method of consistency and completeness checking in formal model of distributed software systems
    von Kolchin, A.V., Letichevsky, O.O., Potiyenko, S.V.
    Veröffentlicht 2025
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren – Diese Suche als E-Mail versenden – Suche speichern