Safety Critical Systems Websites
FMnet - Formal Methods Wiki
FMnet provides access to online formal methods resources, including the Virtual Library formal methods pages.
Not Applicable
$
8.95
HICore Solutions - HIMA
HICore is a comprehensive solution that includes a TÃV-certified safe IC for safety-critical applications according to IEC 61508, Edition 2, part 1 to 7 , (SIL 3).
Not Applicable
$
8.95
José Luis Gutiérrez Rivas
José Luis Gutiérrez, embedded engineer researcher at University of Granada.
Not Applicable
$
8.95
