Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by C. Ho-Stuart
SOFL: A Formal Engineering Methodology for Industrial Applications
IEEE Transactions on Software Engineering
Software
Related publications
Evaluating a Formal Methodology for Dynamic Tuning of Large-Scale Parallel Applications
Concurrency Computation Practice and Experience
Computer Networks
Communications
Computer Science Applications
Computational Theory
Mathematics
Theoretical Computer Science
Software
Advanced Control for Applications: Engineering and Industrial Systems
Advanced Control for Applications: Engineering and Industrial Systems
Engineering Minerals for Performance Applications: An Industrial Perspective
Clay Minerals
Petrology
Geochemistry
A Low-Cost Experimental System and Engineering Methodology for IEC 61499 Applications
A Dimensioning and Tolerancing Methodology for Concurrent Engineering Applications II: Comprehensive Solution Strategy
International Journal of Advanced Manufacturing Technology
Control
Systems Engineering
Industrial
Mechanical Engineering
Manufacturing Engineering
Computer Science Applications
Software
A Supporting Tool for Syntactic Analysis of SOFL Formal Specifications and Automatic Generation of Functional Scenarios
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Engineering Ceramics for Industrial Applications; Wear-, Heat- And Automotive Technology
Object-Centered Engineering: A Methodology for Virtual Engineering
A Deconstructivist Methodology for Software Engineering
