Timed Ethernet: Real-Time Formal Specification of Ethernet.
Henri B. WeinbergLenore D. ZuckPublished in: CONCUR (1992)
Keyphrases
- formal specification
- real time
- high speed
- data acquisition
- tcp ip
- model checking
- specification languages
- object oriented design
- reverse engineering
- specification language
- data abstraction
- process algebra
- concurrent systems
- petri net
- embedded systems
- machine learning
- formal methods
- low cost
- grid workflow
- computation tree logic