𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Formalization and correctness of the PALS architectural pattern for distributed real-time systems

✍ Scribed by José Meseguer; Peter Csaba Ölveczky


Book ID
116907386
Publisher
Elsevier Science
Year
2012
Tongue
English
Weight
662 KB
Volume
451
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES