𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Specifying safety-critical systems with a decidable duration logic

✍ Scribed by Konur, Savas

Book ID
122060267
Publisher
Elsevier Science
Year
2014
Tongue
English
Weight
511 KB
Volume
80
Category
Article
ISSN
0167-6423

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A probabilistic logic for the developmen
A probabilistic logic for the development of safety-critical, interactive systems
✍ C.W. Johnson πŸ“‚ Article πŸ“… 1993 πŸ› Elsevier Science βš– 704 KB

This paper starts from the premise that the human contribution to risk must be assessed during the development of safety-critical systems. In contrast to previous approaches, discrete numerical values are rejected as means of quantifying the probability of operator "error" for many different users o

[IEEE Comput. Soc Fourth IEEE Internatio
[IEEE Comput. Soc Fourth IEEE International Conference on Engineering of Complex Computer Systems. ICECCS '98 - Monterey, CA, USA (10-14 Aug. 1998)] Proceedings. Fourth IEEE International Conference on Engineering of Complex Computer Systems (Cat. No.98EX193) - An approach to specifying and verifying safety-critical systems with practical formal method SOFL
✍ Liu, S.; Asuka, M.; Komaya, K.; Nakamura, Y. πŸ“‚ Article πŸ“… 1998 πŸ› IEEE Comput. Soc βš– 160 KB