E. Canver - Citegraph

Author Info

Name	Affiliation	Papers
E. CANVER	Univ Durham, Dept Comp Sci, Durham DH1 3HP, England	4
Collaborators	Citations	PageRank
24	47	3.43
Referers	Referees	References
82	57	37

Publications (4 rows)

Collaborators (24 rows)

Referers (82 rows)

Referees (57 rows)

Title	Citations	PageRank	Year
Rigorous development of an embedded fault-tolerant system based on coordinated atomic actions	22	1.20	2002
Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions	25	1.55	1999
Formal Development of Object-Based Systems in a Temporal Logic Setting	0	0.34	1999
VSE Verification Support Environment: Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien	0	0.34	1993

1