Title of article
Transformational vs reactive refinement in real-time systems
Author/Authors
Simon Atkinson، نويسنده , , David Scholefield، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 1995
Pages
10
From page
201
To page
210
Keywords
Specification languages , Z , Fonnal development: Program specification: Real-time systems: Refinement , Temporal agent model
Journal title
Information Processing Letters
Serial Year
1995
Journal title
Information Processing Letters
Record number
128321
Link To Document