Inproceedings,
Integration of modeling and verification for system model based on KARMA language.
J. Ding, M. Reniers, J. Lu, G. Wang, L. Feng, and D. Kiritsis.DSM@SPLASH, page 41-50. ACM, (2021)
Meta data
- BibTeX key
- conf/oopsla/DingRL0FK21
- entry type
- inproceedings
- booktitle
- DSM@SPLASH
- year
- 2021
- pages
- 41-50
- publisher
- ACM
- crossref
- conf/oopsla/2021dsm
- ee
- https://doi.org/10.1145/3486603.3486775
- isbn
- 978-1-4503-9106-1
- url
- http://dblp.uni-trier.de/db/conf/oopsla/dsm2021.html#DingRL0FK21
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/oopsla/DingRL0FK21
%A Ding, Jie
%A Reniers, Michel A.
%A Lu, Jinzhi
%A Wang, Guoxin
%A Feng, Lei
%A Kiritsis, Dimitris
%B DSM@SPLASH
%D 2021
%E Gray, Jeff
%E Rossi, Matti
%E Sprinkle, Jonathan
%E Tolvanen, Juha-Pekka
%I ACM
%K dblp
%P 41-50
%T Integration of modeling and verification for system model based on KARMA language.
%U http://dblp.uni-trier.de/db/conf/oopsla/dsm2021.html#DingRL0FK21
%@ 978-1-4503-9106-1
@inproceedings{conf/oopsla/DingRL0FK21,
added-at = {2023-04-12T00:00:00.000+0200},
author = {Ding, Jie and Reniers, Michel A. and Lu, Jinzhi and Wang, Guoxin and Feng, Lei and Kiritsis, Dimitris},
biburl = {https://www.bibsonomy.org/bibtex/2392ff2f576246d0409f20f1fe262fc4a/dblp},
booktitle = {DSM@SPLASH},
crossref = {conf/oopsla/2021dsm},
editor = {Gray, Jeff and Rossi, Matti and Sprinkle, Jonathan and Tolvanen, Juha-Pekka},
ee = {https://doi.org/10.1145/3486603.3486775},
interhash = {9446cc3dd5e961dee5791721defaf5a6},
intrahash = {392ff2f576246d0409f20f1fe262fc4a},
isbn = {978-1-4503-9106-1},
keywords = {dblp},
pages = {41-50},
publisher = {ACM},
timestamp = {2024-04-09T11:44:30.000+0200},
title = {Integration of modeling and verification for system model based on KARMA language.},
url = {http://dblp.uni-trier.de/db/conf/oopsla/dsm2021.html#DingRL0FK21},
year = 2021
}