KMODEL

An ancestor of Model-K[?].

"Preliminary Results on the BEHAVIOUR Specifications Language KMODEL-0", BEHAVIOUR Memo 5-91, 1991, GMD, Sankt Augustin, Germany.

---

This article (or an earlier version of it) contains material from FOLDOC, used with permission.

This article is a stub. You can help Wikipedia by fixing it.