• Verification, refinement and s...

Treffer: Verification, refinement and scheduling of real-time programs

Title:
Verification, refinement and scheduling of real-time programs
Real-time systems and concurrent and distributed software; Transformation-based reactive systems development
Authors:
Liu, Z., Joseph, M.
Source:
THEORETICAL COMPUTER SCIENCE -AMSTERDAM-. 253(1):119-152
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN038007701&indx=1&recIds=ETOCCN038007701
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings