Formal Methods in Software Development (SS 2007)
Jump to...
RISC Environment
MS Windows Users
RISC
»
FormalMethods07
»
Forums
»
News forum
» Slide Set "Verifying Concurrent Systems"
Display replies flat, with oldest first
Display replies flat, with newest first
Display replies in threaded form
Display replies in nested form
Slide Set "Verifying Concurrent Systems"
by
Wolfgang Schreiner
- Wednesday, 13 June 2007, 04:08 PM
I have uploaded a new version of the slide set with additional slides 70-74.
Regards, WS
Reply