Verification and validation of real-time software
Verification and validation of real-time software
Logical foundations of artificial intelligence
Logical foundations of artificial intelligence
Model minimization—an alternative to circumscription
Journal of Automated Reasoning
Templar: a knowledge-based language for software specifications using temporal logic
ACM Transactions on Information Systems (TOIS)
Managing inconsistent specifications: reasoning, analysis, and action
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hi-index | 0.00 |