Login / Signup
Specification and Verification of Real-Time Field Bus with Formal Description Languages.
Perfecto Mariño
Francisco Poza
Miguel Angel Domínguez
Juan B. Nogueira
Published in:
ARTS (1997)
Keyphrases
</>
description languages
real time
field bus
formal methods
monitoring system
formal verification
formal specification
control system
remote control
description language
model checking
protocol specification
search space
knowledge representation
software engineering
service discovery