Amanote Research
Register
Sign In
Systematically Combining Specifications of Internal and External System Behavior Using Statecharts
doi 10.1049/ic:20040232
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2004
Authors
M. Glinz
Publisher
IEE
Related search
Talent Evaluation System in Colleges and Universities Based on Combining Internal and External Evaluation
Testing a System Specified Using Statecharts and Z
Information and Software Technology
Computer Science Applications
Information Systems
Software
Combining Independent Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
From External to Internal System Decompositions
IFAC Proceedings Volumes
Dynamic Behavior of Circular Plates and Beams With Internal and External Damping.
Wrinkling Behavior in Tube Hydroforming Coupled With Internal and External Pressure
MATEC Web of Conferences
Materials Science
Engineering
Chemistry
Nonlinear Mechanical Behavior of the Common, External, and Internal Carotid Arteries in Vivo
Journal of Vascular Surgery
Surgery
Cardiovascular Medicine
Cardiology
Internal and External Analysis
Combining Time and Frequency Domain Specifications for Periodic Signals
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
