Ditapis dengan

  • Tahun Penerbitan
    To
  • Ketersediaan
  • Lampiran
  • Tipe Koleksi
    Lihat Lebih Banyak
  • Format Fisik Dokumen
    Lihat Lebih Banyak
  • Lokasi
    Lihat Lebih Banyak
  • Bahasa
    Lihat Lebih Banyak
Ditemukan 1 dari pencarian Anda melalui kata kunci: author=Pretschner, Alexander.
cover
Model-Based Testing of Reactive Systems
Komentar Bagikan
Broy, Manfred.Jonsson, Bengt.Katoen, JoostPieter.Leucker, Martin.Pretschner, Alexander.

Testing of Finite State Machines -- I. Testing of Finite State Machines -- 1 Homing and Synchronizing Sequences -- 2 State Identification -- 3 State Verification -- 4 Conformance Testing -- II. Testing of Labeled Transition Systems -- Testing of Labeled Transition Systems -- 5 Preorder Relations -- 6 Test Generation Algorithms Based on Preorder Relations -- 7 I/O-automata Based Testing -- 8 Tes…

Edisi
1st ed.
ISBN/ISSN
9783540320371
Deskripsi Fisik
VIII, 664 p.online resource.
Judul Seri
-
No. Panggil
-