Basic protocols, message sequence charts, and the verification of requirements specifications

A. Letichevsky، نويسنده , , J. Kapitonova، نويسنده , , A. Letichevsky Jr.، نويسنده , , V. Volkov، نويسنده , , S. Baranov، نويسنده , , T. Weigert، نويسنده ,

روزنامه با شماره پیاپی سال 2005

15

661

675

Agent , environment , Insertion function , process , interaction , Basic protocols , Requirement capturing , formal methods

Computer Networks

2005

Computer Networks

299621