Behavioral an real-time verification of a pipeline in the COSMA environment.

Jerzy Miescicki Wiktor B. Daszczuk

Published in: Ann. UMCS Informatica (2006)

Keyphrases

real time
dynamic environments
real time embedded systems
low cost
environmental conditions
real environment
outdoor environments
mobile robot
human behavior
changing environment
high fidelity
moving objects
data acquisition
formal verification
shop floor