Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Automated Verification
  4. Compiling Statemate Statecharts into CSP and verifying them using FDR

Compiling Statemate Statecharts into CSP and verifying them using FDR

A. W. Roscoe

Month
January
Note
Extended Abstract
Year
2003

Links

See Also

Back to Top