Yazar
Pontelli, Enrico. editor.
Format:
Electronic Resources
Alıntı:
Ontology-Driven Data Semantics Discovery for Cyber-Security -- State Space Planning Using
Yazar
Koutny, Maciej. editor.
Format:
Electronic Resources
Alıntı:
Temporal Planning -- Kleene Theorems for Synchronous Products with Matching -- Symbolic Model Checking of
View Other Search Results
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
Dignum, Virginia. editor.
Format:
Electronic Resources
Alıntı:
Problems -- Towards Team Formation via Automated Planning -- Interest-based Negotiation for
Yazar
Daneva, Maya. editor.
Format:
Electronic Resources
Alıntı:
Decision Making in Requirements Engineering -- Risk-Aware Multi-Stakeholder Next Release Planning
Yazar
Calimeri, Francesco. editor.
Format:
Electronic Resources
Alıntı:
reasoning with Answer Set Programming Modulo Theories -- Mobile Robot Planning using Action Language BC with
Yazar
Fermé, Eduardo. editor.
Format:
Electronic Resources
Alıntı:
and Paraconsistent Logics -- Non-classical Planning with a Classical Planner: The Power of
Yazar
Boniol, Frédéric. editor.
Format:
Electronic Resources
Alıntı:
ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on
Arama Sonuçlarını Sınırlandır
Daraltılmış: