Text

Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems

Tidak Tersedia Deskripsi

Ketersediaan

Informasi Detail

Judul Seri

FORMAL ASPECTS OF COMPUTING; Vol.19 No.2 June 2007

No. Panggil

-

Penerbit

: .,

Deskripsi Fisik

p.225-241

Bahasa

English

ISBN/ISSN

-

Klasifikasi

-

Tipe Isi

-

Tipe Media

-

Tipe Pembawa

-

Edisi

-

Subjek

SYSTEM ANALYSIS
VALIDATION AND CERTIFICATION
ABSTRACT STATE MACHINE
ASM GROUND MODEL (GOLDEN MODEL)
ASM REFINEMENT
VERIFIED SOFTWARE CHALLENGE

Info Detail Spesifik

-

Pernyataan Tanggungjawab

Egon Borger

Versi lain/terkait

Lampiran Berkas

Komentar