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
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
Furia, Carlo A. editor.
Format:
Electronic Resources
Alıntı:
A Formal Notion of Impact Metric for Cyber-physical Attacks -- Task Planning with OMT: An
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
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
target planning of factory planning projects by means of combinatory logic -- GOLD: Global Organization
Arama Sonuçlarını Sınırlandır
Daraltılmış: