Title :
Real-time Systems Symposium (RTSS´96)
Abstract :
Presents the front cover of the proceedings record.
Keywords :
Computer science; Distributed computing; Formal specifications; ISO standards; Logic; Mathematics; Open systems; Real time systems; Software tools; System testing;
Journal_Title :
Software Engineering, IEEE Transactions on
DOI :
10.1109/TSE.1997.637142
