Title of article
A two-level temporal logic for evolving specifications
Author/Authors
P. Y. Schobbens، نويسنده , , G. Saake، نويسنده , , A. Sernadas، نويسنده , , C. Sernadas، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 2002
Pages
6
From page
167
To page
172
Keywords
program specification , Temporal Logic , Reconfigurable systems , Specification evolution
Journal title
Information Processing Letters
Serial Year
2002
Journal title
Information Processing Letters
Record number
129559
Link To Document