Chandrasekaran, B.

Chandrasekaran, B.



Jump to... [KSL] [SMI] [Reports by Author] [Reports by KSL Number] [Reports by Year]

KSL-93-38
Vescovi, M.; Iwasaki, Y.; Fikes, R.; & Chandrasekaran, B. CFRL: A Language for Specifying the Causal Functionality of Engineering Devices. 1993.

KSL-93-39
Iwasaki, Y.; Fikes, R.; Vescovi, M.; & Chandrasekaran, B. How Things are Intended to Work: Capturing Functional Knowledge in Device Design. 1993.

KSL-92-63
Iwasaki, Y. & Chandrasekaran, B. Design Verification Through Function- and Behavior-Oriented Representations. Kluwer Academic, Pittsburgh, 1992.


Jump to... [KSL] [SMI] [Reports by Author] [Reports by KSL Number] [Reports by Year]