Treffer 1 - 20 von 22 für Suche '', Suchdauer: 1,88s Treffer weiter einschränken
  1. 1
  2. 2
  3. 3

    Analysis and correctness of algebraic graph and model tansformations von Golas, Ulrike 1980-

    Veröffentlicht 2011
    Abschlussarbeit Buch
  4. 4
  5. 5
  6. 6
  7. 7

    Formale Fehlerbaumanalyse von Thums, Andreas 1973-

    Veröffentlicht 2004
    Buch
  8. 8
  9. 9

    Extensions of statecharts with probability, time, and stochastic timing von Jansen, David Nicolaas

    Veröffentlicht 2003
    Buch
  10. 10

    Semantics of form-orientated analysis von Weber, Gerald

    Veröffentlicht 2002
    Abschlussarbeit Buch
  11. 11

    Semantics of form-orientated analysis von Weber, Gerald

    Veröffentlicht 2002
    lizenzfrei
    Abschlussarbeit Elektronisch E-Book
  12. 12

    On the combination of model- and property-oriented description techniques von Deiß, Thomas 1964-

    Veröffentlicht 1999
    Buch
  13. 13
  14. 14
  15. 15
  16. 16

    Formale Sicherheitsanalyse von Ortmeier, Frank 1973-

    Veröffentlicht 2006
    Inhaltstext
    Abschlussarbeit Buch
  17. 17

    Formale Fehlerbaumanalyse von Thums, Andreas 1973-

    Veröffentlicht 2004
    kostenfrei
    Elektronisch E-Book
  18. 18
  19. 19

    Constructing the user interface with statecharts von Horrocks, Ian

    Veröffentlicht 1999
    Buch
  20. 20