Yazar
Ouaknine, Joël. editor.
Format:
Electronic Resources
Alıntı:
papers offer new approaches for the modelling and analysis of computational processes by combining
Yazar
Bensalem, Saddek. editor.
Format:
Electronic Resources
Alıntı:
Model-Driven Information Flow Security for Component-Based Systems -- Context-Bounded Analysis of
Yazar
Shao, Zhong. editor.
Format:
Electronic Resources
Alıntı:
Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join -- Targeted Update
Yazar
Thiemann, Peter. editor.
Format:
Electronic Resources
Alıntı:
specification, design, analysis, and implementation of programming languages and systems, ESOP features
Yazar
Voronkov, Andrei. editor.
Format:
Electronic Resources
Alıntı:
AND-Decomposition of Boolean Formulas -- A Multi-agent Text Analysis Based on Ontology of Subject Domain -- Towards
Yazar
Muscholl, Anca. editor.
Format:
Electronic Resources
Alıntı:
Equivalences of Pushdown Systems Are Hard -- Active Diagnosis for Probabilistic Systems -- Analysis
Yazar
Jacobs, Bart. editor.
Format:
Electronic Resources
Alıntı:
-- Verification and Program Analysis. A Theory of Monitors -- Contextual approximation and higher-order procedures
Yazar
Butler, Michael. editor.
Format:
Electronic Resources
Alıntı:
-- Proving Determinacy of PharOS in TLA+ -- A Rigorous Correctness Proof for Pastry -- Enabling Analysis for
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Reliability Analysis of Evolving Structured Workflows -- Prototype-Driven Development of Web Applications with
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Introduction: Scientific Workflows -- Meta-analysis of Disjoint Sets of Attributes in Large Cohort Studies
Arama Sonuçlarını Sınırlandır
Daraltılmış: