Concepedia

Clock constraint specification language: specifying clock constraints with UML/MARTE

Frédéric Mallet

Innovations in Systems and Software Engineering · 2008 · 92 citations · 2 references

Open access

Concepts

EngineeringComputer ScienceSystems EngineeringDesign AutomationModel-based Systems EngineeringSystems ArchitectureConstraint ModelingConstraint-based DesignHardware Modeling For Digital SystemsReal-time Systems DesignSpecification LanguagesTiming ModelingConstraint-based SpecificationConstraintsReal-time ConstraintsTiming Constraint SpecificationTiming Verification

References

2

The synchronous languages 12 years later

Albert Benveniste, P. Caspi, Stephen A. Edwards et al. · Proceedings of the IEEE · 2003 · 932 citations · Full text

Computing, Computer Engineering, Computer Science +15

A framework for comparing models of computation

Edward A. Lee, Alberto Sangiovanni‐Vincentelli · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1998 · 689 citations

Computing, Computer Science, Computer Systems +16