Validation of Mixed SIGNAL-ALPHA Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints

@inproceedings{Smarandache1999ValidationOM,
  title={Validation of Mixed SIGNAL-ALPHA Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints},
  author={Irina M. Smarandache and Thierry Gautier and Paul Le Guernic},
  booktitle={World Congress on Formal Methods},
  year={1999}
}
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou… CONTINUE READING
BETA

Citations

Publications citing this paper.
SHOWING 1-10 OF 28 CITATIONS

References

Publications referenced by this paper.
SHOWING 1-10 OF 18 REFERENCES

Transformations a nes d'horloges : application au codesign de syst emes temps-r eel en utilisant les langages Signal et Alpha

  • I. Smarandache
  • PhD Thesis, Uni versity of Rennes
  • 1998
Highly Influential
5 Excerpts

Projet CAIRN: conception d'architectures partir de Signal et Alpha" CODE SIGN Conception conjointe logiciel-matriel, Eyrolles, Collection

  • T. Gautier, P. Le Guernic, P. Quinton, S. Rajopadhye, T. Risset, I. Smarandache
  • Technique et Sci enti que des Tlcommunications,
  • 1998
2 Excerpts

Similar Papers

Loading similar papers…