The chunking engine: closing the gap between formal and informal design specifications
Abstract
No abstract available.
Index Terms
- The chunking engine: closing the gap between formal and informal design specifications
Recommendations
An operational semantics for Simulink's simulation engine
LCTES '12The industrial tool Matlab/Simulink is widely used in the design of embedded systems. The main feature of this tool is its ability to model in a common formalism the software and its physical environment. This makes it very useful for validating the ...
Comments
Information & Contributors
Information
Published In
Sponsors
- SIGAI: ACM Special Interest Group on Artificial Intelligence
- INNS: International Neural Network Society
- IEAust
- AAAI: Am Assoc for Artifical Intelligence
- IEEE-CS: Computer Society
- ISAI: Int'l Society of Applied Intellegence
- ECCAI: European Coordinating Committee on Artifical Intelligence
Publisher
Gordon and Breach Science Publishers, Inc.
United States
Publication History
Published: 30 June 1995
Check for updates
Qualifiers
- Article
Conference
8IEA/AIE95
Sponsor:
- SIGAI
- INNS
- IEAust
- AAAI
- IEEE-CS
- ISAI
- ECCAI
8IEA/AIE95: 8th Annual Int'l Conference on Industrial Applications of Artificial Intelligence and Expert Systems
June 5 - 9, 1995
Melbourne, Australia
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 29 Jan 2025