Formal_Methods Software Reliability Group,
Informatics Center of the Federal University of Pernambuco,
Recife - Brazil
2 users,
1 article,
3 forum threads.
SRG The Software Reliability Group (SRG, formerly known as LMF) is a research group that investigates and develops tools, techniques and processes for improving system trustworthiness of enterprise wide assets.
'SRG':http://portal.cin.ufpe.br/srg
7 users,
128 articles,
0 forum threads.
SRG Reading Room SRG Reading Room. This is a place to share papers among the members of the Software Reliability Group.
7 users,
14 articles,
0 forum threads.
Statecharts Papers about Statecharts
1 user,
1 article,
0 forum threads.
Search
