PART I: Real Time Systems — Background
In the next four sections, we shall provide (i) an overview of the general characteristics of real-time systems and reactive systems, (ii) a general discussion on formal development methodologies for real-time systems, (iii) characteristics of real-time languages and (iv) programming characteristics...
Uloženo v:
| Vydáno v: | Real Time Programming: Languages, Specification And Verification s. 1 |
|---|---|
| Hlavní autoři: | , |
| Médium: | Kapitola |
| Jazyk: | angličtina |
| Vydáno: |
Singapore
World Scientific Publishing Company
2009
WORLD SCIENTIFIC |
| Témata: | |
| ISBN: | 9789810225667, 9810225660, 9789814499316, 9789812814029, 9812814027, 9814499315 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Shrnutí: | In the next four sections, we shall provide (i) an overview of the general characteristics of real-time systems and reactive systems, (ii) a general discussion on formal development methodologies for real-time systems, (iii) characteristics of real-time languages and (iv) programming characteristics of reactive systems and the synchrony hypothesis. |
|---|---|
| ISBN: | 9789810225667 9810225660 9789814499316 9789812814029 9812814027 9814499315 |
| DOI: | 10.1142/9789812814029_others01 |