Font Size: a A A
Keyword [temporal logic]
Result: 21 - 40 | Page: 2 of 9
21. Research On Feature Interaction Problems Detecting Approach In Component Assemble Using Temporal Logic
22. Research Of Policy-based Information Security Model And Formal Modeling
23. The Study Of Formal Specification Based On UML
24. A Heuristic Algorithm For Model-Checking Based On Counter Example Finding
25. Spatial Temporal Logic In Many-sorted Logic
26. Model Checking Of LSC Specifications
27. Analysis And Inference Of Chinese Temporal Semantics
28. Modeling And Verification Of The Workflows Based On UML-Statecharts
29. Research On The Software Architecture Description Combining Visual Methods And Formal Methods
30. A BDI-VSK-T Logic-based Formal Model Of Agent System
31. Model Checking Temporal Logic Of Knowledge And Its Applications
32. Formal Description And Verification Of SoC Based On Projection Temporal Logic
33. Description And Analysis Of WS Security Based On Temporal Logic
34. Supervisory Synthesis Of DEDS Based On Temporal Petri Nets
35. Satisfiability And Expressiveness Of Propositional Projection Temporal Logic
36. Decidability Of Propositional Projection Temporal Logic
37. Model Checking Propositional Projection Temporal Logic With Infinite Model
38. Description And Refinement Of The Bank ATM System Based On UML And Temporal Logic Language
39. The Formal Specification And Refinement Of Open Solaris Kernel Process Based On Temporal Logic
40. Research Of Symbol Model Checking
  <<First  <Prev  Next>  Last>>  Jump to