Cecil a Sequencing Constraint Language for Automatic Static Analysis Generation
Osterweil, Leon J. Olender, Kurt M.
Cecil a Sequencing Constraint Language for Automatic Static Analysis Generation - 268-280 p.
Dataflow Analysis
Finite State Machines
Sequencing Batch Reactor (Sbr)
Cecil a Sequencing Constraint Language for Automatic Static Analysis Generation - 268-280 p.
Dataflow Analysis
Finite State Machines
Sequencing Batch Reactor (Sbr)