Abstract
The conference offers a note of thanks and lists its reviewers.
Proceedings 17th IEEE International Conference on Automated Software Engineering,
Like what you’re reading?
Already a member?
Similar Articles
- Automated modular specification and verification of real-time reactive systems
Industrial-Strength Formal Specification Techniques, Workshop on - Deep boosting: Layered feature mining for general image classification
2014 IEEE International Conference on Multimedia and Expo (ICME) - Interpolation Guided Compositional Verification (T)
2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) - A categorical linear framework for Petri nets
Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science - Feature-Based Modular Design Method and its Application in Robot
2010 International Conference on Measuring Technology and Mechatronics Automation - Modular keyboard
Proceedings of the Johns Hopkins National Search for Computing Applications to Assist Persons with Disabilities - A coordinated reachability analysis method for modular verification of asynchronous designs
2009 IEEE International High Level Design Validation and Test Workshop - Parameterized interfaces for open system verification of product lines
Proceedings. 19th International Conference on Automated Software Engineering, 2004. - Edge Compression Techniques for Visualization of Dense Directed Graphs
IEEE Transactions on Visualization & Computer Graphics - Aspectual Feature Modules
IEEE Transactions on Software Engineering