Amanote Research
Register
Sign In
The VERIFICATION OF TEMPORAL KNOWLEDGE BASED SYSTEMS - A Case-Study on Power-Systems
doi 10.5220/0001651801790185
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2007
Authors
Unknown
Publisher
SciTePress - Science and and Technology Publications
Related search
Verification of Multiple Agent Knowledge-Based Systems
International Journal of Intelligent Systems
Theoretical Computer Science
Human-Computer Interaction
Artificial Intelligence
Software
Validation and Verification of Knowledge-Based Systems: Report on EUROVAV99
Knowledge Engineering Review
Artificial Intelligence
Software
Temporal Dependency-Based Checkpoint Selection for Dynamic Verification of Temporal Constraints in Scientific Workflow Systems
ACM Transactions on Software Engineering and Methodology
Software
Knowledge-Based Systems
Verification of Agent-Based Artifact Systems
Journal of Artificial Intelligence Research
Artificial Intelligence
Convex Programs for Temporal Verification of Nonlinear Dynamical Systems
SIAM Journal on Control and Optimization
Control
Applied Mathematics
Optimization
Improving the Productivity of Industrial Systems: A Simulation-Based Case Study
DEStech Transactions on Engineering and Technology Research
Case Study—Based Overview of Some Contemporary Challenges to Power Quality in Ship Systems
Inventions
Engineering
Introduction: Knowledge, Innovation Systems and the Role of Power
