Access your personal account

Log in to see your favourites, lists and progress.

Access via institution

Not currently connected to any institutions

Connect via

Access Code

Redeem Access Code

Log in to redeem access code

This video isn’t available to you right now

Login to check your access and watch the full session.
To redeem an access code, first log in.

Login

SPARK 2014: a language for safety and security

Session
Thursday, 16 October 2014
00:00
Duration: 27 mins
Publication date: 16 Oct 2014
Location: IETTV_Room, IETTV_Venue, Manchester, United Kingdom
Part of event 9th International Conference on System Safety and Cyber-Security

About the session

SPARK (Stanford Research Institute Procedural Agent Realization Kit) is a software development technology specifically designed for engineering high-reliability applications. This presentation describes SPARK 2014, which is a language for safety and security.

Channels

Control

Control

IT

Sectors

Sectors