Treffer: Static Models and Simulation Engine for Time-Analysis and Verification of Mission-Critical Distributed Systems
Title:
Static Models and Simulation Engine for Time-Analysis and Verification of Mission-Critical Distributed Systems
Real time computing
Real time computing
Authors:
Source:
NATO ASI SERIES F COMPUTER AND SYSTEMS SCIENCES. 127:325-346
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings