๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Modeling and quantitatively predicting software security based on stochastic Petri nets

โœ Scribed by Nianhua Yang; Huiqun Yu; Zhilin Qian; Hua Sun

Book ID
113796435
Publisher
Elsevier Science
Year
2012
Tongue
English
Weight
708 KB
Volume
55
Category
Article
ISSN
0895-7177

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Real-time control software for transacti
Real-time control software for transaction processing based on colored safe Petri Net model
โœ Tomohiro Murata; Norihisa Komoda ๐Ÿ“‚ Article ๐Ÿ“… 1990 ๐Ÿ› Springer US ๐ŸŒ English โš– 559 KB

A Petri Net-based real-time control software system for transaction processing is proposed to improve flexibility and maintainability in real-time application software. This software system is named Station Controller (SCR). Transaction processing control programs can be understandably described usi