Modal event-clock specifications for timed component-based design

Bertrand, Nathalie;Legay, Axel;Pinchinat, Sophie;Raclet, Jean-Baptiste
(2012) Science of Computer Programming —

Files

No attached file found for this publication.

Details

Authors
  • Bertrand, Nathalie
    Author
  • Legay, AxelUCLouvain
    Author
  • Pinchinat, Sophie
    Author
  • Raclet, Jean-Baptiste
    Author

Citations

  • APA
  • Chicago
  • FWB

Bertrand, N., Legay, A., Pinchinat, S., & Raclet, J.-B. (2012). Modal event-clock specifications for timed component-based design. Science of Computer Programming. https://doi.org/10.1016/j.scico.2011.01.007