Publisher
Cambridge University Press (CUP)
Reference54 articles.
1. Abstract PRET Machines
2. Verification of Cyberphysical Systems
3. 33. Martin, T , Real-Time Programing Language PEARL - Concept and Characteristics. In Computer Software and Applications Conference (COMPSAC), Chicago, 1978, pp. 301–306.
4. TESL: A language for reconciling heterogeneous execution traces