Login / Signup
Formal specification and analysis of JAAS framework.
Shin Nakajima
Tetsuo Tamai
Published in:
SESS@ICSE (2006)
Keyphrases
</>
formal specification
reverse engineering
specification language
information systems
multi agent systems
information technology
production system
formal methods