Sciweavers

53 search results - page 2 / 11
» tse 2002
Sort
View
149
Voted
TSE
2002
125views more  TSE 2002»
15 years 5 months ago
An Automated Verification Method for Distributed Systems Software Based on Model Extraction
Gerard J. Holzmann, Margaret H. Smith
TSE
2002
168views more  TSE 2002»
15 years 5 months ago
A Survey on Software Architecture Analysis Methods
Liliana Dobrica, Eila Niemelä
128
Voted
TSE
2002
73views more  TSE 2002»
15 years 5 months ago
A Distributed Parallel Programming Framework
Nenad Stankovic, Kang Zhang