𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Advances in Industrial Control] Distributed Embedded Control Systems || Real-time Characteristics and Safety of Embedded Systems

✍ Scribed by ,

Book ID
120556594
Publisher
Springer London
Year
2008
Tongue
English
Weight
241 KB
Edition
2008
Category
Article
ISBN
1848000510

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Safety, liveness and real-time in embedd
Safety, liveness and real-time in embedded system design
✍ Harri Klapuri; Jarmo Takala; Jukka Saarinen πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 548 KB

Modelling of complex systems should be based on mathematical notions rather than being bound tightly to any programming language. Therefore, it is useful to be able to distinguish the different constituents of a distributed and concurrent system. In this paper, we focus on the formal properties know