author : Norman Delisle

Short works

• Formal Specification of an Architecture for a Family of Instrumentation Systems. 1995. (In Applications of Formal Methods )