Yazar
Pontelli, Enrico. editor.
Format:
Electronic Resources
Alıntı:
Ontology-Driven Data Semantics Discovery for Cyber-Security -- State Space Planning Using
Yazar
Collart-Dutilleul, Simon. editor.
Format:
Electronic Resources
Alıntı:
Railways System and Infrastructure Advance Modelling -- Scheduling and Track Planning -- Safety
View Other Search Results
Yazar
Koutny, Maciej. editor.
Format:
Electronic Resources
Alıntı:
Temporal Planning -- Kleene Theorems for Synchronous Products with Matching -- Symbolic Model Checking of
Yazar
Horváth, András. editor.
Format:
Electronic Resources
Alıntı:
Capacity Planning for PEPA Models -- Markovian Models, Above and Beyond -- Stochastic Approximation of
Yazar
Merayo, Mercedes G. editor.
Format:
Electronic Resources
Alıntı:
Planning -- Minimum Number of Test Paths for Prime Path and Other Structural Coverage Criteria -- Tools and
Yazar
Beierle, Christoph. editor.
Format:
Electronic Resources
Alıntı:
and information retrieval, knowledge representation, reasoning and planning, logics in databases and
Yazar
Calinescu, Radu. editor.
Format:
Electronic Resources
Alıntı:
Requirements to Test Cases based on CSP -- Planning -- Task Planning of Cyber-Human Systems -- Generating
Yazar
Rayadurgam, Sanjai. editor.
Format:
Electronic Resources
Alıntı:
Architecture for Correct-by-Construction Hybrid Planning and Control.
Yazar
Daneva, Maya. editor.
Format:
Electronic Resources
Alıntı:
Decision Making in Requirements Engineering -- Risk-Aware Multi-Stakeholder Next Release Planning
Yazar
Dignum, Virginia. editor.
Format:
Electronic Resources
Alıntı:
Problems -- Towards Team Formation via Automated Planning -- Interest-based Negotiation for
Yazar
Blackburn, Patrick. editor.
Format:
Electronic Resources
Alıntı:
merging; belief representation; cooperation; decision making and planning; natural language; philosophy
Yazar
Calimeri, Francesco. editor.
Format:
Electronic Resources
Alıntı:
reasoning with Answer Set Programming Modulo Theories -- Mobile Robot Planning using Action Language BC with
Arama Sonuçlarını Sınırlandır
Daraltılmış: