S56WBV

1 Follower

um feri promela spin formal verification sdl telekomunikacije formalna verifikacija iskratel državni izpitni center znanje izobraževanje matura mednarodne študije sld

Präsentationen
Dokumente
Infografiken

Aktuellste Beliebteste SlideShares

Znanje mladih

Vor 12 Jahren • 1112 Aufrufe

Toward Automatic Generation of Models with Probes from the SDL System Specification

Vor 13 Jahren • 441 Aufrufe

Tool sdl2pml

Vor 13 Jahren • 384 Aufrufe

Predstavitev raziskav 2006

Vor 13 Jahren • 245 Aufrufe

Predstavitev LMS 2005

Vor 13 Jahren • 187 Aufrufe