Testing a System Specified Using Statecharts and Z

Information and Software Technology - Netherlands
doi 10.1016/s0950-5849(00)00145-2
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

Systematically Combining Specifications of Internal and External System Behavior Using Statecharts

2004English

Extending Statecharts to Model System Interactions

Journal of Software Engineering Research and Development
2015English

On Testing Partially Specified IOTS Through Lossless Queues

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Control and Plant Modeling for Manufacturing Systems Using Basic Statecharts

2010English

A Compositional Approach to Statecharts Semantics

ACM SIGSOFT Software Engineering Notes
2000English

Eye Vision Testing System and Eyewear Using Micromachines

Micromachines
ControlSystems EngineeringElectricalMechanical EngineeringElectronic Engineering
2015English

Automated Structural Testing Using Microcomputer System

Proceedings of the Japan Society of Civil Engineers
1983English

Development and Testing of a Fan Monitoring System Using Induction Operated Current Switches

2006English

Nondestructive Testing Using TRW Acousto-Optical Imaging System

1971English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy