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 :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=128321
بازگشت