Treffer 1 - 5 von 5 für Suche 'Willemse, T.A.C.', Suchdauer: 0,29s Treffer weiter einschränken
  1. 1
    QNNRepair: Quantized Neural Network Repair

    QNNRepair: Quantized Neural Network Repair von Song, Xidan, Sun, Youcheng, Mustafa, Mustafa Asan, Cordeiro, Lucas


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems

    Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems von Ploeger, B., Wesselink, J.W., Willemse, T.A.C.

    Veröffentlicht in Information and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Model-checking processes with data

    Model-checking processes with data von Groote, J.F., Willemse, T.A.C.

    Veröffentlicht in Science of computer programming

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Language-driven system design

    Language-driven system design von Mauw, S., Wiersma, W.T., Willemse, T.A.C.

    Volltext bestellen
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Equivalences for Silent Transitions in Probabilistic Systems

    Equivalences for Silent Transitions in Probabilistic Systems von Andova, S., Willemse, T.A.C.


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: