Title of article :
Engineering the Usability of a Visual Formalism for Real-time Temporal Logic
Author/Authors :
Enrico Vicario، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2001
Keywords :
Software Engineering , real-time temporal logic , visual formalisms , usability engineering. , formal methods
Journal title :
Journal of Visual Languages and Computing
Journal title :
Journal of Visual Languages and Computing
