Login / Signup

SeaFlows Toolset - Compliance Verification Made Easy for Process-Aware Information Systems.

Linh Thao LyDavid KnupleschStefanie Rinderle-MaKevin GöserHolger PfeiferManfred ReichertPeter Dadam
Published in: CAiSE Forum (Selected Papers) (2010)
Keyphrases
  • information systems
  • development process
  • artificial intelligence
  • decision trees
  • health care
  • model checking
  • smart card
  • requirements analysis