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
10,165 results
https://conf.tlapl.us/2020/09-Kuprianov_and_Konnov-Model-based_testing_with_TLA_+_and_Apalache.pdf.
1,231 views
3 years ago
http://conf.tlapl.us/2020/
4,062 views
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
6 years ago
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
The CAN bus is a traditional communication standard used (not only) in automotive to allow different components to talk to each ...
14,366 views
9 months ago
https://conf.tlapl.us/2020/10-Yovine_and_Solsona-TLA_+_specification_of_PCR_parallel_programming_pattern.pdf.
208 views
In der heutigen Folge sprechen Finn und Lennart über A*spec-Feindlichkeit. Sie unterhalten sich über unterschiedliche Formen ...
38 views
1 year ago
Open Container Initiative (OCI) started in 2015 to make different implementations of container runtimes and images compliant with ...
500 views
5 years ago
Design & Implementation of Human-Computer Interfaces Course URL: https://onlinecourses.nptel.ac.in/noc22_cs125/preview Prof ...
2,780 views
UseThePlatform, but what even is the platform? and who makes the platform?? In this video, Mariko Kosaka, a Developer ...
2,663 views
SPEC Kit 360, Learning Analytics, explores how ARL member institutions are navigating the balance between gathering and ...
170 views
https://conf.tlapl.us/2020/02-Davis_et_al-eXtreme_Modelling_in_Practice.pdf.
655 views
https://conf.tlapl.us/2020/07-Kukovec_and_Konnov-Type_Inference_for_TLA_+_in_Apalache.pdf.
350 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
Lecture 19A: Synthesis of Discrete Time Filters, Realizable specifications.
1,390 views
It's something we ALL do, but we NEVER speak about it. POOP! Yes, poop. It turns out poop is extremely important for your health ...
1,854,413 views
SPEC Kit 352, Collection Assessment, explores how collection assessment methods, measures, and practices are currently ...
569 views
7 years ago
Im zweiten Teil zum Thema A*spec-Feindlichkeit unterhalten sich Finn und Lennart über weitere Diskriminierungsformen von ...
32 views
Embedded Software Testing by Madhukeshwara H M,HCL Technologies,Bangalore.For more details on NPTEL visit ...
1,946 views
9 years ago
In der heutigen Folge unterhalten sich Jay-Jay, Noir und Finn über Familienfeste und darüber, dass die für Personen auf dem ...
26 views