CABE - Webinar Wednesday: Transparency in The Specification of Fire Resisting Glazing

(59:31)

Formal specification of attestation mechanisms in Confidential Computing – Muhammad Usama Sardar

(39:19)

Top-down engineering tools to support the functional specification of IEC 61850

(8:24)

Specification of Live Media Ingest by Rufael Mekuria

(24:59)

QGen: Formal specification of safety properties

(1:25)

Module 5A: Specification of ground improvement for residential properties in the Canterbury region

(14:22)

FSW 2023: Day 2- Design and Specification of the BITMONSTER Code Generation Tool

(25:21)

The Digital Transition Episode 47: Specification of Information Requirements with Rob Jackson

(56:5)

TECHNICAL SPECIFICATION OF KAISAR

(1:35)

A Deep Specification for Dropbox - Benjamin Pierce

(46:42)

Tutorial: Specification of the AAS - Part 3a: Data Specification IEC61360 (V3.0)

(31:6)

Tutorial: Specification of the AAS - Part 1: Metamodel (V3.0)

(45:24)

Specification of Marine Fuel Oils

(34:7)

Specification of Spatial Dependence

(1:13:22)

FM'21 | Session 13 : PuRSUE-from specification of robotic environments to synthesis of controllers

(22:50)

A Framework for the Sound Specification of Cryptographic Tasks

(1:8:37)

Formal Specification of the RISC-V Instruction Set Architecture

(32:)

4 Specification of components for piping systems

(10:15)

how you check the full specification of your l

(1:7)