Inproceedings,
A modular approach to integrate verification tools in model based development.
S. Kanav.MoDELS (Companion), page 150-155. ACM, (2018)
Meta data
- BibTeX key
- conf/models/Kanav18
- entry type
- inproceedings
- booktitle
- MoDELS (Companion)
- year
- 2018
- pages
- 150-155
- publisher
- ACM
- crossref
- conf/models/2018c
- ee
- https://doi.org/10.1145/3270112.3275334
- url
- http://dblp.uni-trier.de/db/conf/models/models2018c.html#Kanav18
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/models/Kanav18
%A Kanav, Sudeep
%B MoDELS (Companion)
%D 2018
%E Babur, Önder
%E Strüber, Daniel
%E Abrahão, Silvia
%E Burgueño, Loli
%E Gogolla, Martin
%E Greenyer, Joel
%E Kokaly, Sahar
%E Kolovos, Dimitris S.
%E Mayerhofer, Tanja
%E Zahedi, Mansooreh
%I ACM
%K dblp
%P 150-155
%T A modular approach to integrate verification tools in model based development.
%U http://dblp.uni-trier.de/db/conf/models/models2018c.html#Kanav18
@inproceedings{conf/models/Kanav18,
added-at = {2022-02-23T00:00:00.000+0100},
author = {Kanav, Sudeep},
biburl = {https://www.bibsonomy.org/bibtex/2877cab6231482fa1a4ef77ab6e23951a/dblp},
booktitle = {MoDELS (Companion)},
crossref = {conf/models/2018c},
editor = {Babur, Önder and Strüber, Daniel and Abrahão, Silvia and Burgueño, Loli and Gogolla, Martin and Greenyer, Joel and Kokaly, Sahar and Kolovos, Dimitris S. and Mayerhofer, Tanja and Zahedi, Mansooreh},
ee = {https://doi.org/10.1145/3270112.3275334},
interhash = {5497a8b575ba46787428516d0d38eda1},
intrahash = {877cab6231482fa1a4ef77ab6e23951a},
keywords = {dblp},
pages = {150-155},
publisher = {ACM},
timestamp = {2024-04-09T22:00:21.000+0200},
title = {A modular approach to integrate verification tools in model based development.},
url = {http://dblp.uni-trier.de/db/conf/models/models2018c.html#Kanav18},
year = 2018
}