From Offline toward Real Time: A Hybrid Systems Model Checking and CPS Codesign Approach for Medical Device Plug-and-Play Collaborations | PERPUSTAKAAN UNIVERSITAS KATOLIK PARAHYANGAN

Pencarian berdasarkan :

Pencarian terakhir:

Text

From Offline toward Real Time: A Hybrid Systems Model Checking and CPS Codesign Approach for Medical Device Plug-and-Play Collaborations

Tao Li - Nama Orang; Feng Tan - Nama Orang; Qixin Wang - Nama Orang; Lei Bu - Nama Orang; Jian-Nong Cao - Nama Orang; Xue Liu - Nama Orang;

Tidak Tersedia Deskripsi

Ketersediaan

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

Informasi Detail

Judul Seri: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS; Vol.25 No.1-3 January-March 2014
No. Panggil: -
Penerbit: : .,
Deskripsi Fisik: p. 642-652
Bahasa: English
ISBN/ISSN: -
Klasifikasi: -
Tipe Isi: -
Tipe Media: -
Tipe Pembawa: -
Edisi: -
Subjek: REAL-TIME
MODEL CHECKING
HYBRID SYSTEMS
CYBER-PHYSICAL SYSTEMS
MEDICAL
Info Detail Spesifik: -
Pernyataan Tanggungjawab: Tao Li, Feng Tan, Qixin Wang, Lei Bu, Jian-Nong Cao, Xue Liu

Versi lain/terkait

Tidak tersedia versi lain

Lampiran Berkas

Tidak Ada Data

Komentar

Anda harus masuk sebelum memberikan komentar