Jerker Hammarberg

List of publications from the DBLP Bibliography Server - FAQ

2005

2 EE Jerker Hammarberg, Simin Nadjm-Tehrani: Formal verification of fault tolerance in safety-critical reconfigurable modules. STTT 7(3): 268-279 (2005)

2003

1 EE Jerker Hammarberg, Simin Nadjm-Tehrani: Development of Safety-Critical Reconfigurable Hardware with Esterel. Electr. Notes Theor. Comput. Sci. 80: (2003)

2005
2	EE	Jerker Hammarberg, Simin Nadjm-Tehrani: Formal verification of fault tolerance in safety-critical reconfigurable modules. STTT 7(3): 268-279 (2005)
2003
1	EE	Jerker Hammarberg, Simin Nadjm-Tehrani: Development of Safety-Critical Reconfigurable Hardware with Esterel. Electr. Notes Theor. Comput. Sci. 80: (2003)

Coauthor Index