Halden
IT
Forum

NONSTOPP

NOrsk Nettverk for Sikre
Trygge Og Pålitelige
Programmerbare systemer

International Federation for
Information Processing
WG 10.4 & 13.5

SCSC

Safety-Critical
Systems Club

SRMC

Software Reliability
& Metrics Club

Published by
Elsevier