The Formal Specification of the Fieldbus Foundation Link Scheduler in E-LOTOS.
N. PetalidisD. S. GillPublished in: ICFEM (1998)
Keyphrases
- formal specification
- formal specification language
- specification languages
- model checking
- specification language
- object oriented design
- data abstraction
- process algebra
- scheduling algorithm
- reverse engineering
- formal methods
- concurrent systems
- software components
- database
- model checker
- business rules
- temporal logic
- machine learning
- databases
- temporal ordering
- cooperative