Featured

Business

Design

Education

How-to & DIY

Marketing & SEO

Programming

Research

Science

Storyboards

Technology

Exactpro

PRO exactpro

0 Stars

Decks

Formal verification of software. Q&A session

PRO

0

39

Decentralized finance on Ethereum

PRO

0

99

Formal verification of software

PRO

0

150

Agile Testing and Guinea Pigs

PRO

0

120

TMPA-2021: Formal Methods: Theory and Practice of Linux Verification Center (Part 2 - Testing of Operating Systems)

PRO

0

88

TMPA-2021: Optic Flow approximated by a homogeneous, three-dimensional Point Renewal Process

PRO

0

150

TMPA-2021: Detection of flying objects using the YOLOv4 convolutional neural network

PRO

0

110

TMPA-2021: Link graph and data-driven graphs as complex networks: comparative study

PRO

0

89

TMPA-2021: Unpaired Image-to-Image Translation using Transformer-based CycleGAN

PRO

0

130

TMPA-2021: SPIDER: Specification-based Integration Defect Revealer

PRO

0

130

TMPA-2021: An approach to create a synthetic financial transactions dataset based on NDA-protected dataset

PRO

0

150

TMPA-2021: AUTOMATION IN SOFTWARE TESTING. HUMANS AND COMPLEX MODELS.

PRO

0

74

TMPA-2021: Formal Verification of the Eth2.0 beacon Chain

PRO

0

67

TMPA-2021: Searching for Deviations in Trading Systems: Combining Control-Flow and Data Perspectives

PRO

0

100

TMPA-2021: Data Stream Processing in Reconciliation Testing: Industrial Experience

PRO

0

140

TMPA-2021: Model-based Testing Approach for Financial Technology Platforms: An Industrial Implementation

PRO

0

95

TMPA-2021: Early Detection of Tasks With Uncommonly Long Run Duration in Post-Trade Systems

PRO

0

110

TMPA-2021: Algorithm for Mapping Layout Grids in User Interfaces: Automating the “Squint Test”

PRO

0

100

Speaker Deck Pro: Add privacy options and schedule the publishing of your decks Upgrade