Treffer 1 - 18 von 18 für Suche 'Aichernig, Bernhard K.', Suchdauer: 0,28s Treffer weiter einschränken
  1. 1
    Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers
    Veröffentlicht 2003
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Learning Abstracted Non-deterministic Finite State Machines
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Fingerprinting Bluetooth Low Energy Devices via Active Automata Learning
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Step-Wise Development of Provably Correct Actor Systems
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SAT
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  7. 7
    From Passive to Active: Learning Timed Automata Efficiently
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Timed Automata Learning via SMT Solving
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Formal methods at the crossroads : from Panacea to foundational support ; 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, revised papers
    Veröffentlicht 2003
    Vorwort
    Inhaltsverzeichnis
    Buchumschlag
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Learning Finite State Models from Recurrent Neural Networks
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Active Model Learning of Stochastic Reactive Systems
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  13. 13
    AALpy: An Active Automata Leaming Library
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Tests and proofs : 10th international conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016 : proceedings
    Veröffentlicht 2016
    Inhaltsverzeichnis
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Constrained Training of Recurrent Neural Networks for Automata Leaming
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Formal methods for components and objects : 9th international symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 ; revised papers
    Veröffentlicht 2011
    Inhaltsverzeichnis
    Inhaltstext
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Formal methods at the crossroads : from panacea to foundational support : 10th Anniversary Colloquium of UNI/IISI, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18 - 20, 2002 ; revised papers
    Veröffentlicht 2003
    Cover
    Einführung/Vorwort
    Inhaltsverzeichnis
    Inhaltstext
    Publisher description
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Proceedings / Third IEEE International Conference on Software Engineering and Formal Methods, SEFM 2005 : 7 - 9 September 2005, Koblenz, Germany
    Veröffentlicht 2005
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: