• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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