Treffer 1 - 1 von 1 für Suche 'Hadad, Abeer Saeed Abdo', Suchdauer: 0,27s Treffer weiter einschränken
  1. 1
    Formal Verification of AADL Models by Event-B

    Formal Verification of AADL Models by Event-B von Hadad, Abeer Saeed Abdo, Ma, Chunyan, Ahmed, Adeeb Abdulwakeel Obadi

    Veröffentlicht in IEEE access

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: