Login / Signup

TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit.

Ludovic ApvrilleJean-Pierre CourtiatChristophe LohrPierre de Saqui-Sannes
Published in: IEEE Trans. Software Eng. (2004)
Keyphrases
  • real time
  • uml profile
  • metamodel
  • control system
  • database
  • artificial intelligence
  • case study
  • databases
  • information systems
  • web services
  • cooperative