Browsing by Subject "Computer software"
Now showing items 1-3 of 3
-
A biofilter design tool for hydrogen sulfide removal calculations
(2012-08)Biofilters have been used for decades in the management of nuisance odors that are emitted from the collection and treatment systems of municipal sewage works. Typically hydrogen sulfide (H2S) has been identified as the ... -
Fault Coverage and Diagnosis of Protocols and Systems Modeled As Extended Finite State Machines
(2015-01)Automatic test derivation from formal specifications offers a rigorous discipline to functional conformance testing. In various application domains, such as communication protocols and other reactive systems, the specification ... -
Testing and Assessment of Protocols and Systems Modeled as Extended Finite State Machines
(2013-06)Developing and selecting an appropriate test suite is an important issue for testing implementations of protocols and other reactive software systems. Many methods are known for the derivation of test suites based on a ...