Treffer 1 - 5 von 5 für Suche 'Steggles, L.J', Suchdauer: 0,51s Treffer weiter einschränken
  1. 1
    An abstraction theory for qualitative models of biological systems

    An abstraction theory for qualitative models of biological systems von Banks, Richard, Steggles, L.J.

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Correctness of dataflow and systolic algorithms using algebras of streams

    Correctness of dataflow and systolic algorithms using algebras of streams von MEINKE, K, STEGGLES, L. J

    Veröffentlicht in Acta informatica

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Verifying an infinite systolic algorithm using third-order equational methods

    Verifying an infinite systolic algorithm using third-order equational methods von Steggles, L.J.


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    A Formal Model for SDL Specifications Based on Timed Rewriting Logic

    A Formal Model for SDL Specifications Based on Timed Rewriting Logic von Steggles, L.J, Kosiuczenko, P

    Veröffentlicht in Automated software engineering

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    A Timed Rewriting Logic Semantics for SDL: A Case Study of the Alternating Bit Protocol

    A Timed Rewriting Logic Semantics for SDL: A Case Study of the Alternating Bit Protocol von Steggles, L.J., Kosiuczenko, Piotr


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: