Jerker Hammarberg

According to our database, Jerker Hammarberg authored at least 2 papers between 2003 and 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2005

Formal verification of fault tolerance in safety-critical reconfigurable modules.

Jerker Hammarberg, Simin Nadjm-Tehrani

Int. J. Softw. Tools Technol. Transf., 2005

2003

Development of Safety-Critical Reconfigurable Hardware with Esterel.

Jerker Hammarberg, Simin Nadjm-Tehrani

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003