Login / Signup

Towards the UML-Based Formal Verification of Timed Systems.

Luciano BaresiAngelo MorzentiAlfredo MottaMatteo Rossi
Published in: FMCO (2010)
Keyphrases
  • formal verification
  • model checking
  • automated verification
  • formal methods
  • knowledge based systems
  • distributed systems
  • expert systems
  • software systems
  • software engineering
  • finite state machines