Filtrera

Ämne
  • (2)
  • (1)

Alexander Pretschner - Böcker

Visar alla böcker av Alexander Pretschner. Handla med fri frakt och snabb leverans!

  1. Model-Based Testing of Reactive Systems

    av Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

    Häftad, Engelska, 2005-06-01
    579
    Köp
    Skickas från oss inom 10-15 vardagar.
    Model-Based Testing of Reactive Systems

    Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing...

    Läs mer »

  2. Security and Trust Management

    av Jorge Cuellar, Javier Lopez, Gilles Barthe, Alexander Pretschner

    Häftad, Engelska, 2011-09-23
    579
    Köp
    Skickas från oss inom 10-15 vardagar.
    Security and Trust Management

    This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Security and Trust Management, STM 2010, held in Athens, Greece, in September 2010. The 17 revised full papers presented were carefully ...

    Läs mer »