Software logical structure verification method by modeling implemented specification. (English)
König, Andreas (ed.) et al., Knowledge-based and intelligent information and engineering systems. 15th international conference, KES 2011, Kaiserslautern, Germany, September 12‒14, 2011. Proceedings, Part III. Berlin: Springer (ISBN 978-3-642-23853-6/pbk). Lecture Notes in Computer Science 6883. Lecture Notes in Artificial Intelligence, 336-345 (2011).
1
Software logical structure verification method by modeling implemented specification (English)
KES (3), 336-345 (2011).
2
Start
Contact
Print
General Help
