Real Time Programming: Languages, Specification and Verification
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By WORLD SCIENTIFIC

9789810225667, 9789812814029

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Futurebus Arbitration Protocol: A Case Study

Real Time Programming: Languages, Specification and Verification ◽

10.1142/9789812814029_0009 ◽

2009 ◽

pp. 71-78

Download Full-text

Putting it Together

Real Time Programming: Languages, Specification and Verification ◽

10.1142/9789812814029_0021 ◽

2009 ◽

pp. 231-234

Download Full-text

Part V: Integration of Synchrony and Asynchrony

Real Time Programming: Languages, Specification and Verification ◽

10.1142/9789812814029_others05 ◽

2009 ◽

pp. 149-150

Download Full-text

Communicating Reactive Processes

Real Time Programming: Languages, Specification and Verification ◽

10.1142/9789812814029_0016 ◽

2009 ◽

pp. 151-164

Keyword(s):

Reactive Processes

Download Full-text

Asynchronous Interaction in ESTEREL

Real Time Programming: Languages, Specification and Verification ◽

10.1142/9789812814029_0008 ◽

2009 ◽

pp. 67-69

Keyword(s):

Asynchronous Interaction

Download Full-text

Modelling Real-Time Systems in ESTEREL

Real Time Programming: Languages, Specification and Verification ◽

10.1142/9789812814029_0020 ◽

2009 ◽

pp. 221-229

Keyword(s):

Real Time ◽

Real Time Systems ◽

Time Systems

Download Full-text

Synchronous Language ARGOS

Real Time Programming: Languages, Specification and Verification ◽

10.1142/9789812814029_0013 ◽

2009 ◽

pp. 123-129

Keyword(s):

Synchronous Language

Download Full-text

Real Time System Characteristics

Real Time Programming: Languages, Specification and Verification ◽

10.1142/9789812814029_0001 ◽

2009 ◽

pp. 3-7

Keyword(s):

Real Time ◽

Time System ◽

Real Time System ◽

System Characteristics

Download Full-text

Characteristics of Real-Time Languages

Real Time Programming: Languages, Specification and Verification ◽

10.1142/9789812814029_0003 ◽

2009 ◽

pp. 17-23

Keyword(s):

Real Time

Download Full-text

Programming Characteristics of Reactive Systems

Real Time Programming: Languages, Specification and Verification ◽

10.1142/9789812814029_0004 ◽

2009 ◽

pp. 25-28

Keyword(s):

Reactive Systems

Download Full-text

Real Time Programming: Languages, Specification and VerificationLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By WORLD SCIENTIFIC

Futurebus Arbitration Protocol: A Case Study

Putting it Together

Part V: Integration of Synchrony and Asynchrony

Communicating Reactive Processes

Asynchronous Interaction in ESTEREL

Modelling Real-Time Systems in ESTEREL

Synchronous Language ARGOS

Real Time System Characteristics

Characteristics of Real-Time Languages

Programming Characteristics of Reactive Systems

Real Time Programming: Languages, Specification and Verification
Latest Publications