-
PROMELA (Process or
Protocol Meta Language) is a
verification modeling language introduced by
Gerard J. Holzmann. The
language allows for the dynamic...
-
Fathead minnow (Pimephales
promelas), also
known as
fathead or tuffy, is a
species of
freshwater ray-finned fish
belonging to the
family Leuciscidae, the...
-
Wikimedia Commons has
media related to
Heliogomphus promelas. Kakkasery, F. (2011). "Heliogomphus
promelas". IUCN Red List of
Threatened Species. 2011: e.T175158A7115019...
-
affect predator avoidance behavior of
larval fathead minnows (Pimephales
promelas)" (PDF).
Environmental Toxicology and Chemistry. 28 (12): 2677–84. Bibcode:2009EnvTC...
- life
stage (ELS)
toxicity of
sucralose to
fathead minnows,
Pimephales promelas".
Bulletin of
Environmental Contamination and Toxicology. 93 (4): 383–387...
-
topsmelt (Atherinops affinis) and
freshwater fathead minnow (Pimephales
promelas),
smoked cigarette filters +
tobacco are more
toxic than
smoked cigarette...
- new
developments in the field.
Systems to be
verified are
described in
Promela (Process Meta Language),
which supports modeling of
asynchronous distributed...
-
fauna can
tolerate TDS
levels of 1000 mg/L. The
fathead minnow (Pimephales
promelas), for example,
realizes an LD50
concentration of 5,600 ppm
based upon a...
- organisms, durations, and
endpoints include:
Fathead minnow,
Pimephales promelas,
larval survival and
growth Daphnia,
Daphnia magna, 21-d
survival and reproduction...
-
Tubercles on the nose of
Fathead minnow (Pimephales
promelas)...
