Tisztelt Felhasználók!
Ezúton tájékoztatjuk Önöket, hogy 2026.02.24.-től kezdődően a videófeltöltés-, valamint módosítás szolgáltatásunk átmenetileg szünetel, de a már korábban feltöltött videók továbbra is megtekinthetők maradnak. Munkatársaink mindent megtesznek annak érdekében, hogy az átállás a lehető legrövidebb időn belül, zökkenőmentesen megtörténjen.

Az átállás során Önnek nincs teendője, a meglévő tartalmak az új rendszer indulását követően változatlanul továbbra is elérhetők lesznek.

Az átmeneti időszakra türelmét és megértését kérjük.

Software engineering


Artificial biochemistry

kifu Luca Cardelli 16 years ago - 44:49

Challenges of quantum informatics

kifu Jozef Gruska 16 years ago - 45:26

Model checking, theorem proving, and abstract

kifu Thomas Henzinger 16 years ago - 41:21

The German VeriSoft Project 2003-2007

kifu Wolfgang J. Paul 16 years ago - 44:05

Have we learned from the Wasa disaster?

kifu Jean-Raymond Abrial 16 years ago - 38:02

A million lines of verified code

kifu Jim Woodcock 16 years ago - 40:26

The ideal of program correctness

kifu Prof. Sir Tony Hoare 16 years ago - 42:46

Opening & welcome

kifu Dr. Péter Szeredi
Dines Bjørner
Prof. Emer Ákos Detrekői
16 years ago - 11:49

Concept of the new Textor Control System -

wigner Horst T. Lambertz 16 years ago - 11:15