Login / Signup
The PROFIBUS formal specification: a comparison between two FDTs.
Perfecto Mariño
Juan B. Nogueira
César A. Sigüenza
Francisco Poza
Miguel Angel Domínguez
Published in:
Comput. Networks (2001)
Keyphrases
</>
formal specification
model checking
specification language
object oriented design
specification languages
data abstraction
reverse engineering
formal methods
process algebra
software components
concurrent systems
knowledge representation
formal specification language
fine grained