Upload date
All time
Last hour
Today
This week
This month
This year
Type
All
Video
Channel
Playlist
Movie
Duration
Short (< 4 minutes)
Medium (4-20 minutes)
Long (> 20 minutes)
Sort by
Relevance
Rating
View count
Features
HD
Subtitles/CC
Creative Commons
3D
Live
4K
360°
VR180
HDR
7,376 results
https://conf.tlapl.us/2020/09-Kuprianov_and_Konnov-Model-based_testing_with_TLA_+_and_Apalache.pdf.
1,231 views
3 years ago
UseThePlatform, but what even is the platform? and who makes the platform?? In this video, Mariko Kosaka, a Developer ...
2,663 views
6 years ago
http://conf.tlapl.us/2020/
4,062 views
This is an audio version of the Wikipedia Article: https://en.wikipedia.org/wiki/Specification_(technical_standard) 00:03:13 1 Use ...
35 views
5 years ago
This video tutorial shows how to directly embed and use Vega-Lite visualization specifications in JavaScript, Python, Julia, R, and ...
323 views
10 months ago
Basic steps in firearms field strip to show the community that like weapons, mainly old school, how disassemble/reassemble in an ...
151 views
2 years ago
Minitest 6: test feistier! by Ryan Davis Minitest 5 ships with ruby and is the standard test framework for rails. It already provides a ...
2,834 views
Lecture 19A: Synthesis of Discrete Time Filters, Realizable specifications.
1,390 views
In der heutigen Folge sprechen Finn und Lennart über A*spec-Feindlichkeit. Sie unterhalten sich über unterschiedliche Formen ...
38 views
1 year ago
Lecture 19B: Realistic Specifications for low pass filter. Filter Design Process.
1,217 views
Design & Implementation of Human-Computer Interfaces Course URL: https://onlinecourses.nptel.ac.in/noc22_cs125/preview Prof ...
2,780 views
https://conf.tlapl.us/2020/10-Yovine_and_Solsona-TLA_+_specification_of_PCR_parallel_programming_pattern.pdf.
208 views
Open Container Initiative (OCI) started in 2015 to make different implementations of container runtimes and images compliant with ...
500 views
The boot loader specification defines a generic drop-in based solution for defining boot targets. sd-boot is a boot loader for UEFI ...
883 views
4 years ago
In part 2, we go through the Ecmascript specification to understand the behavior of this in function and method call. It starts with ...
260 views
https://conf.tlapl.us/2020/07-Kukovec_and_Konnov-Type_Inference_for_TLA_+_in_Apalache.pdf.
350 views
https://conf.tlapl.us/2020/02-Davis_et_al-eXtreme_Modelling_in_Practice.pdf.
655 views
What are the key concepts behind constructing and evaluating ripple-down rules in workflow specifications? This tutorial is about ...
664 views
This is an audio version of the Wikipedia Article: https://en.wikipedia.org/wiki/PlayStation_2_technical_specifications 00:00:12 1 ...
41 views
Lecture 63 : Tutorial on Constraint Analysis of Transport Aicraft- Part 02.
1,660 views