Author:
Bolton Matthew L.,Edworthy Judy,Boyd Andrew D.,Wei Jiajun,Zheng Xi
Funder
Agency for Healthcare Research and Quality
Subject
Acoustics and Ultrasonics
Reference65 articles.
1. A theory of timed automata;Alur;Theor Comput Sci,1994
2. Auditory masking and MPEG-1 audio compression;Ambikairajah;Electron Commun Eng J,1997
3. Formal interaction specification in public health surveillance systems using π-calculus;Baksi;Comput Methods Programs Biomed,2008
4. Model checking of healthcare domain models;Baksi;Comput Methods Programs Biomed,2009
5. A nonlinear psychoacoustic model applied to ISO/MPEG layer 3 coder;Baumgarte,1995
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献