𝔖 Bobbio Scriptorium
✦   LIBER   ✦

An Automata Based Approach for Verifying Information Flow Properties

✍ Scribed by Deepak D'Souza; K.R. Raghavendra; Barbara Sprick

Book ID
108126546
Publisher
Elsevier Science
Year
2005
Tongue
English
Weight
339 KB
Volume
135
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Molecular properties and basis set quali
Molecular properties and basis set quality: An approach based on information theory
✍ G. Maroulis; M. Sana; G. Leroy πŸ“‚ Article πŸ“… 1981 πŸ› John Wiley and Sons 🌐 English βš– 557 KB

## Abstract Information theory can be used to evaluate the quality of a wave function by considering its ability to give values for some observables as close as possible to the experimental ones. A new method for improving the quality of a wave function is proposed. This paper deals exclusively wit

Heterogeneous traffic flow modelling for
Heterogeneous traffic flow modelling for an arterial using grid based approach
✍ P. J. Gundaliya; Tom V. Mathew; S. L. Dhingra πŸ“‚ Article πŸ“… 2008 πŸ› Institute for Transportation Inc. 🌐 English βš– 287 KB

## Abstract A grid based modelling approach akin to cellular automata (CA) is adopted for heterogeneous traffic flow simulation. The road space is divided into a grid of equally sized cells. Moreover, each vehicle type occupies one or more cell as per its size unlike CA traffic flow model where eac