Formal Requirements Modeling with Executable Use Cases and Coloured Petri Nets uri icon

data de publicação

  • janeiro 2009