Inproceedings,
Modeling and debugging numerical constraints of cyber-physical systems design.
T. Tien, S. Nakajima, and H. Thang.SoICT, page 251-260. ACM, (2013)
Meta data
- BibTeX key
- conf/soict/TienNQ13
- entry type
- inproceedings
- booktitle
- SoICT
- year
- 2013
- pages
- 251-260
- publisher
- ACM
- crossref
- conf/soict/2013
- ee
- https://doi.org/10.1145/2542050.2542068
- isbn
- 978-1-4503-2454-0
- url
- http://dblp.uni-trier.de/db/conf/soict/soict2013.html#TienNQ13
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/soict/TienNQ13
%A Tien, Thanh Nguyen
%A Nakajima, Shin
%A Thang, Huynh Quyet
%B SoICT
%D 2013
%E Thang, Huynh Quyet
%E Thanh, Binh Nguyen
%E Do, Tien Van
%E Bui, Marc
%E Hong, Son Ngo
%I ACM
%K dblp
%P 251-260
%T Modeling and debugging numerical constraints of cyber-physical systems design.
%U http://dblp.uni-trier.de/db/conf/soict/soict2013.html#TienNQ13
%@ 978-1-4503-2454-0
@inproceedings{conf/soict/TienNQ13,
added-at = {2019-04-16T00:00:00.000+0200},
author = {Tien, Thanh Nguyen and Nakajima, Shin and Thang, Huynh Quyet},
biburl = {https://www.bibsonomy.org/bibtex/237abea4c2351e657db931062b1ce6b0f/dblp},
booktitle = {SoICT},
crossref = {conf/soict/2013},
editor = {Thang, Huynh Quyet and Thanh, Binh Nguyen and Do, Tien Van and Bui, Marc and Hong, Son Ngo},
ee = {https://doi.org/10.1145/2542050.2542068},
interhash = {2372a8a4c2e90cf7884464c445e8163b},
intrahash = {37abea4c2351e657db931062b1ce6b0f},
isbn = {978-1-4503-2454-0},
keywords = {dblp},
pages = {251-260},
publisher = {ACM},
timestamp = {2024-04-09T11:18:44.000+0200},
title = {Modeling and debugging numerical constraints of cyber-physical systems design.},
url = {http://dblp.uni-trier.de/db/conf/soict/soict2013.html#TienNQ13},
year = 2013
}