Inproceedings,
Compositional Refinement for Real-Time Systems with Priorities.
A. Boudjadar, J. Bodeveix, and M. Filali.TIME, page 57-64. IEEE Computer Society, (2012)
Meta data
- BibTeX key
- conf/time/BoudjadarBF12
- entry type
- inproceedings
- booktitle
- TIME
- year
- 2012
- pages
- 57-64
- publisher
- IEEE Computer Society
- crossref
- conf/time/2012
- ee
- https://doi.ieeecomputersociety.org/10.1109/TIME.2012.21
- isbn
- 978-1-4673-2659-9
- url
- http://dblp.uni-trier.de/db/conf/time/time2012.html#BoudjadarBF12
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/time/BoudjadarBF12
%A Boudjadar, Abdeldjalil
%A Bodeveix, Jean-Paul
%A Filali, Mamoun
%B TIME
%D 2012
%E Moszkowski, Ben C.
%E Reynolds, Mark
%E Terenziani, Paolo
%I IEEE Computer Society
%K dblp
%P 57-64
%T Compositional Refinement for Real-Time Systems with Priorities.
%U http://dblp.uni-trier.de/db/conf/time/time2012.html#BoudjadarBF12
%@ 978-1-4673-2659-9
@inproceedings{conf/time/BoudjadarBF12,
added-at = {2023-03-24T00:00:00.000+0100},
author = {Boudjadar, Abdeldjalil and Bodeveix, Jean-Paul and Filali, Mamoun},
biburl = {https://www.bibsonomy.org/bibtex/279fb78932c77097b757416e19e14a856/dblp},
booktitle = {TIME},
crossref = {conf/time/2012},
editor = {Moszkowski, Ben C. and Reynolds, Mark and Terenziani, Paolo},
ee = {https://doi.ieeecomputersociety.org/10.1109/TIME.2012.21},
interhash = {5d7e2bfb941ebbba6ce9fe017bba89e4},
intrahash = {79fb78932c77097b757416e19e14a856},
isbn = {978-1-4673-2659-9},
keywords = {dblp},
pages = {57-64},
publisher = {IEEE Computer Society},
timestamp = {2024-04-09T22:39:34.000+0200},
title = {Compositional Refinement for Real-Time Systems with Priorities.},
url = {http://dblp.uni-trier.de/db/conf/time/time2012.html#BoudjadarBF12},
year = 2012
}