Logical approach for specification and execution of concurrent real-time systems

Logical approach for specification and execution of concurrent real-time systems

Proceedings of the International Workshop on Real-Time Computing Systems and Applications/RTCSA

Saved in:
Bibliographic Details
Main Author: Ramirez, Rafael
Other Authors: INFORMATION SYSTEMS & COMPUTER SCIENCE
Format: Conference or Workshop Item
Published: 2014
Online Access:http://scholarbank.nus.edu.sg/handle/10635/99551
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
Description
Summary:Proceedings of the International Workshop on Real-Time Computing Systems and Applications/RTCSA

Similar Items