Dynamic Testing for Deadlocks via Constraints | PERPUSTAKAAN UNIVERSITAS KATOLIK PARAHYANGAN

Pencarian berdasarkan :

Pencarian terakhir:

Text

Dynamic Testing for Deadlocks via Constraints

Cai, Yan - Nama Orang; Qiong Lu - Nama Orang;

Tidak Tersedia Deskripsi

Barcode		Tipe Koleksi	Nomor Panggil	Lokasi	Status
art116395	null	Artikel		Gdg9-Lt3	Tersedia namun tidak untuk dipinjamkan - No Loan

Judul Seri: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; Vol.42 No.7-9 July-September 2016
No. Panggil: -
Penerbit: : .,
Deskripsi Fisik: p.825-842
Bahasa: English
ISBN/ISSN: -
Klasifikasi: -
Tipe Isi: -
Tipe Media: -
Tipe Pembawa: -
Edisi: -
Subjek: RELIABILITY
SCHEDULING
CONSTRAINT
VERIFICATION
DEADLOCK TRIGGERING
SHOULD-HAPPEN-BEFORE RELATION
Info Detail Spesifik: -
Pernyataan Tanggungjawab: Yan Cai, Qiong Lu

Tidak tersedia versi lain

Tidak Ada Data