Publication | Closed Access
The clock constraint specification language for building timed causality models
29
Citations
19
References
2009
Year
Constraint SolvingEngineeringAutomated ReasoningVerificationComputer EngineeringFormal MethodsComputer ScienceTemporal LogicTimed SystemFormal VerificationSoftware DesignCausality ModelsSystem SpecificationConstraint Programming
| Year | Citations | |
|---|---|---|
Page 1
Page 1