Yazar
Jacobs, Bart. editor.
Format:
Electronic Resources
Alıntı:
-- Verification and Program Analysis. A Theory of Monitors -- Contextual approximation and higher-order procedures
Yazar
Rayadurgam, Sanjai. editor.
Format:
Electronic Resources
Alıntı:
Variable Ordering in Symbolic Reachability Analysis -- Gray-box Learning of Serial Compositions of Mealy
Yazar
Iida, Shusaku. editor.
Format:
Electronic Resources
Alıntı:
-- Formal Modeling and Analysis of Google’s Megastore in Real-Time Maude -- EHRA: Specification and Analysis
Yazar
Dori, Dov. author.
Format:
Electronic Resources
Alıntı:
. Dori was Associate Editor of IEEE Transaction on Pattern Analysis and Machine Intelligence, and
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
Canal, Carlos. editor.
Format:
Electronic Resources
Alıntı:
Context-Abstract Plans -- A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL
Yazar
Dillig, Isil. editor.
Format:
Electronic Resources
Alıntı:
Cyber-Physical Systems -- VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based
Yazar
Avgeriou, Paris. editor.
Format:
Electronic Resources
Alıntı:
Information Systems: A Scoping Study -- fUML-Driven Design and Performance Analysis of Software Agents for
Yazar
Counsell, Steve. editor.
Format:
Electronic Resources
Alıntı:
research results and exchange experience, ideas and solutions for modelling and analysing complex systems
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Reliability Analysis of Evolving Structured Workflows -- Prototype-Driven Development of Web Applications with
Yazar
Dingel, Juergen. editor.
Format:
Electronic Resources
Alıntı:
, modeling for analysis, pragmatics, model extraction, manipulation and persistence, querying, and reasoning.
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ış: