Login / Signup

Formal specification and analysis of JAAS framework.

Shin NakajimaTetsuo Tamai
Published in: SESS@ICSE (2006)
Keyphrases
  • formal specification
  • reverse engineering
  • specification language
  • information systems
  • multi agent systems
  • information technology
  • production system
  • formal methods