Formal Methods in Software Development (SS 2006)
Jump to...
RISC Environment
MS Windows Users
Course Software for Linux
RISC
»
FormalMethods06
»
Forums
»
News forum
» Specifying and 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
Specifying and Verifying Concurrent Systems
by
Wolfgang Schreiner
- Tuesday, 2 May 2006, 12:00 PM
Dear course participants,
I have added slide sets to this section of the course site.
Regards, WS
Reply