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
id sg-nus-scholar.10635-99551
record_format dspace
spelling sg-nus-scholar.10635-995512015-01-29T04:48:14Z Logical approach for specification and execution of concurrent real-time systems Ramirez, Rafael INFORMATION SYSTEMS & COMPUTER SCIENCE Proceedings of the International Workshop on Real-Time Computing Systems and Applications/RTCSA 182-185 222 2014-10-27T06:05:14Z 2014-10-27T06:05:14Z 1997 Conference Paper Ramirez, Rafael (1997). Logical approach for specification and execution of concurrent real-time systems. Proceedings of the International Workshop on Real-Time Computing Systems and Applications/RTCSA : 182-185. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/99551 NOT_IN_WOS Scopus
institution National University of Singapore
building NUS Library
country Singapore
collection ScholarBank@NUS
description Proceedings of the International Workshop on Real-Time Computing Systems and Applications/RTCSA
author2 INFORMATION SYSTEMS & COMPUTER SCIENCE
author_facet INFORMATION SYSTEMS & COMPUTER SCIENCE
Ramirez, Rafael
format Conference or Workshop Item
author Ramirez, Rafael
spellingShingle Ramirez, Rafael
Logical approach for specification and execution of concurrent real-time systems
author_sort Ramirez, Rafael
title Logical approach for specification and execution of concurrent real-time systems
title_short Logical approach for specification and execution of concurrent real-time systems
title_full Logical approach for specification and execution of concurrent real-time systems
title_fullStr Logical approach for specification and execution of concurrent real-time systems
title_full_unstemmed Logical approach for specification and execution of concurrent real-time systems
title_sort logical approach for specification and execution of concurrent real-time systems
publishDate 2014
url http://scholarbank.nus.edu.sg/handle/10635/99551
_version_ 1681092210383126528