Syntax and Semantics of PRETSEL - A Specification Language for Parallel Real-Time Systems.
Alok N. ChoudharyVijay GehlotBhagirath NarahariPublished in: HICSS (1) (1996)
Keyphrases
- real time systems
- specification language
- real time
- formal specification
- description language
- programming language
- distributed systems
- real time database systems
- embedded systems
- software environment
- mission critical
- object oriented programming language
- timing constraints
- case study
- parallel processors
- real time embedded
- artificial intelligence