A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Tank monitoring: a pAMN case study
2006
Formal Aspects of Computing
Preserved Fulltext
This paper explores the application of probabilistic B to a simple case study: tracking the volume of liquid held in a tank by measuring the flow of liquid into it. ...
The introduction of probabilistic behaviour into the B-Method is a recent development. ...
Section 4 introduces the Tank case study. ...
doi:10.1007/s00165-006-0004-5
fatcat:jmdmm6pirzfc3pl4pkgi5fdsvq
Tank Monitoring: A pAMN Case Study
2005
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This paper explores the application of probabilistic B to a simple case study: tracking the volume of liquid held in a tank by measuring the flow of liquid into it. ...
The introduction of probabilistic behaviour into the B-Method is a recent development. ...
This paper explores the application of probabilistic B to a simple case study: tracking the volume of liquid held in a tank by measuring the liquid flow into it. ...
doi:10.1016/j.entcs.2005.04.031
fatcat:5mfynnzvlvcqvj3yrx4tug6rza
Laser Doppler anemometry: recent developments and future challenges
1995
Measurement science and technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The availability of new optical and electronic components and the increasing demands on measurement accuracy have led to a continuous development of the laser Doppler measurement technique in recent years ...
Cam Tropes was born in instrumentation developments in the field of laser Doppler Toronto, Canada, where he alSO a"ended the University anemometry, rather than on the broad range of applications. ...
A recent study has examined the case of threecomponent LDA systems using a singlelens approach (five beams) and also here it is shown that the propagation of misalignment errors, even to the mean flow ...
doi:10.1088/0957-0233/6/6/001
fatcat:xsi5kshp5veonnzsimjjewlxsy