Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by R.M Hierons
Testing a System Specified Using Statecharts and Z
Information and Software Technology
Computer Science Applications
Information Systems
Software
Related publications
Systematically Combining Specifications of Internal and External System Behavior Using Statecharts
Extending Statecharts to Model System Interactions
Journal of Software Engineering Research and Development
On Testing Partially Specified IOTS Through Lossless Queues
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Control and Plant Modeling for Manufacturing Systems Using Basic Statecharts
A Compositional Approach to Statecharts Semantics
ACM SIGSOFT Software Engineering Notes
Eye Vision Testing System and Eyewear Using Micromachines
Micromachines
Control
Systems Engineering
Electrical
Mechanical Engineering
Electronic Engineering
Automated Structural Testing Using Microcomputer System
Proceedings of the Japan Society of Civil Engineers
Development and Testing of a Fan Monitoring System Using Induction Operated Current Switches
Nondestructive Testing Using TRW Acousto-Optical Imaging System
