共 50 条
- [31] LDES: detector design for version number attack detection using linear temporal logic based on discrete event system [J]. International Journal of Information Security, 2023, 22 : 961 - 985
- [36] On the analysis of numerical data time series in temporal logic [J]. COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY, PROCEEDINGS, 2007, 4695 : 48 - +
- [37] Finding attack strategies for predator swarms using genetic algorithms [J]. 2005 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-3, PROCEEDINGS, 2005, : 2422 - 2428
- [38] LOGIC DESIGN ASSISTANCE USING TEMPORAL LOGIC BASED LANGUAGE TOKIO [J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 485 : 174 - 183
- [39] AID TO HIERARCHICAL AND STRUCTURED LOGIC DESIGN USING TEMPORAL LOGIC AND PROLOG [J]. IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES, 1986, 133 (05): : 283 - 294
- [40] Using temporal logic for spatial reasoning: Spatial Propositional Neighborhood Logic [J]. TIME 2006: THIRTEENTH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2006, : 50 - +