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 1 dari pencarian Anda melalui kata kunci: Author : "Barkaoui, K.; Bernardinello, L.; Mokhov, A."
Permintaan membutuhkan 0.82739 detik untuk selesai

Informasi


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