We use ads to keep content free and accessible for everyone. You can remove them by <link>signing up</link> for a Slideshare subscription.

Why are you seeing this?

{title} by {author}, has {slideCount} slides with {viewCount} views.

Removing from saved will also delete the item from your lists

This saved item is also in a list.

Sorry! We could not find what you were looking for.

Page no longer exists

Looks like this one's off the shelf

Too many password attempts

Sorry! The page could not be loaded.

There was an issue loading the page

Return to the homepage

Renew your Slideshare subscription

Signup now for a Slideshare account

We’ve made changes to our <terms>Terms of Use</terms> and the <subscriber>Everand Subscriber Agreement</subscriber>. The updates clarify our subscription offering and how disputes are resolved, including the law that governs any disputes. Your subscription and pricing aren’t changing.

We’ve updated our Terms of Use

Are you sure you want to block this user?

Block User

Are you sure you want to delete the selected Slideshare?

Delete Slideshare

You are trying to suspend the account {username}. This is REVERSIBLE within 1 day of Account Suspension.

Suspend User

Are you sure you want to unblock this user?

Unblock User

You are trying to unsuspend the account {username}.

Unsuspend User

Users following {name}

Users being followed by {name}

{name} Presentations

Personal Information

{title} created by {author}, {countLikes} likes and {countViews} views

Sort by

Account Suspended

profilePage

Distributed Systems Presentation for Business informatics students (Staroletov)

distributed-systems-presentations-staroletov

Sergey Staroletov

Теория языков программирования некоторые слайды к лекциям

compilers-construction-lectures-staroletov

Staroletov Design by Contract, verification of Cyber-physical systems

staroletov-design-by-contract-cyberphysical-systems

Staroletov MBC (Model Based Checking)

staroletov-mbc-model-based-checking

Staroletov testing TDD BDD MBT

staroletov-testing-tdd-bdd-mbt

 An Application of Test-Driven Development Methodology into the Process of Ha...

an-application-of-testdriven-development-methodology-into-the-process-of-hardware-creation-a-view-from-a-software-perspective

 An Application of Test-Driven Development Methodology into the Process of Hardware Creation (a View from a Software Perspective)

Towards a Probabilistic Extension to Non-Deterministic Transitions in Model-B...

towards-a-probabilistic-extension-to-nondeterministic-transitions-in-modelbased-checking

Towards a Probabilistic Extension to Non-Deterministic Transitions in Model-Based Checking

Applying Model Checking Approach with Floating Point Arithmetic for Verificat...

applying-model-checking-approach-with-floating-point-arithmetic-for-verification-of-air-collision-avoidance-maneuver-hybrid-model

Applying Model Checking Approach with Floating Point Arithmetic for Verification of Air Collision Avoidance Maneuver Hybrid Model

Cameroun (Francophone day)

cameroun-60688256