Title of article
Engineering the Usability of a Visual Formalism for Real-time Temporal Logic
Author/Authors
Enrico Vicario، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2001
Pages
27
From page
573
To page
599
Keywords
Software Engineering , real-time temporal logic , visual formalisms , usability engineering. , formal methods
Journal title
Journal of Visual Languages and Computing
Serial Year
2001
Journal title
Journal of Visual Languages and Computing
Record number
166988
Link To Document