"Intertwining Implementation with the RealSpec Executable Real-Time ..."

Amir A. Khwaja, Joseph E. Urban (2010)

Details and statistics

DOI:

access: unavailable

type: Conference or Workshop Paper

metadata version: 2010-11-29