Skip to Main content Skip to Navigation
Conference papers

Towards Probabilistic Real-Time Calculus

Luca Santinelli 1, * Liliana Cucu-Grosjean 1 
* Corresponding author
1 TRIO - Real time and interoperability
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/inria-00544646
Contributor : Liliana Cucu-Grosjean Connect in order to contact the contributor
Submitted on : Wednesday, December 8, 2010 - 3:51:10 PM
Last modification on : Friday, February 4, 2022 - 3:34:44 AM

Identifiers

  • HAL Id : inria-00544646, version 1

Collections

CNRS | INRIA | UNIV-LORRAINE | INRIA2 | LORIA

Citation

Luca Santinelli, Liliana Cucu-Grosjean. Towards Probabilistic Real-Time Calculus. the 3rd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems(CRTS 2010), Enrico Bini and Giuseppe Lipari, Dec 2010, San Diego, United States. ⟨inria-00544646⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

65

 

Contact                    Legal Notice                    Personal Data