Title of article
Basic protocols, message sequence charts, and the verification of requirements specifications
Author/Authors
A. Letichevsky، نويسنده , , J. Kapitonova، نويسنده , , A. Letichevsky Jr.، نويسنده , , V. Volkov، نويسنده , , S. Baranov، نويسنده , , T. Weigert، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2005
Pages
15
From page
661
To page
675
Keywords
Agent , environment , Insertion function , process , interaction , Basic protocols , Requirement capturing , formal methods
Journal title
Computer Networks
Serial Year
2005
Journal title
Computer Networks
Record number
299621
Link To Document