Bundel Jurnal ACM Transactions on Embedded Computing System : Editorial/ Guest Editorial/ Memory-Model-Aware-Testing: A Unified Complexity Analysis/ Action Synthesis for Branching Time Logic: Theory and Applications/ Parametrised Modal Interface Automata/ STM-HRT: A Robust and Wait-Free STM for Hard Real-Time Multicore Embedded System/ Failure Semantics for Modal Transition Systems/ Incremental Analysis of Cyclo-Static synchronous Dataflow Graphs/ Diagnosabilitu under Weak Fairness


Hasil Pencarian


Ditemukan 3 dari pencarian Anda melalui kata kunci: Author : "Shukla, S. K."
Permintaan membutuhkan 1.30916 detik untuk selesai

Informasi


Akses Katalog Publik Daring - Gunakan fasilitas pencarian untuk mempercepat penemuan data katalog