Title of article
Behaviour Analysis of Distributed Systems Using the Tracta Approach
Author/Authors
Dimitra Giannakopoulou، نويسنده , , Jeff Kramer and Shing Chi Cheung ، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1999
Pages
29
From page
7
To page
35
Keywords
static analysis , automated analysis , compositional reachability analysis , model checking , safetyproperties , liveness properties , Software architecture , concurrent and distributed systems , Labelled transition systems , B¨uchi automata
Journal title
Automated Software Engineering
Serial Year
1999
Journal title
Automated Software Engineering
Record number
307043
Link To Document