.

Kirjasto - Tampereen teknillinen yliopisto

Browsing by Author "Uotila, Hannu"

Sort by: Order: Results:

  • Uotila, Hannu (2002-05-15)
    Formal description techniques make it possible to model communication protocols in precise and unambiguous manner. The modelled system can be simulated and verified in early phase in the design process. Nowadays there are ...