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 : "Germanos, V.; Haar, S.; Khomenko, V.; Schwoon, S."
Permintaan membutuhkan 2.29192 detik untuk selesai

Informasi


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