On Combining Off-Line BIST and On-Line Control Flow Checking.
Bernhard EschermannPublished in: FTCS (1992)
Keyphrases
- control flow
- data flow
- process model
- software testing
- formal semantics
- reactive systems
- information systems
- high level
- modeling language
- workflow management systems
- transition systems
- real world
- business process models
- knowledge representation
- cooperative
- data structure
- multi agent
- training data
- artificial intelligence