Real-Time Software Specification and Validation with Transnet.
Krzysztof SachaPublished in: Real Time Syst. (1994)
Keyphrases
- real time
- real time systems
- low cost
- software development
- software systems
- high level
- tool suite
- software package
- formal methods
- data flow
- highly modular
- test case generation
- software evolution
- software quality
- software design
- software developers
- software architecture
- computer systems
- control system
- software tools
- high speed
- control flow
- safety critical
- reactive systems
- dedicated hardware
- user interface
- image sequences
- data sets