%0 Conference Paper %1 conf/indin/NagornyHCK13 %A Nagorny, Kevin %A Harrison, Robert %A Colombo, Armando Walter %A Kreutz, Gerhard %B INDIN %D 2013 %I IEEE %K dblp %P 480-487 %T A formal engineering approach for control and monitoring systems in a service-oriented environment. %U http://dblp.uni-trier.de/db/conf/indin/indin2013.html#NagornyHCK13 %@ 978-1-4799-0752-6

@inproceedings{conf/indin/NagornyHCK13, added-at = {2018-11-02T00:00:00.000+0100}, author = {Nagorny, Kevin and Harrison, Robert and Colombo, Armando Walter and Kreutz, Gerhard}, biburl = {https://www.bibsonomy.org/bibtex/2791cf7d67a9707f8dc74836c2fa822b3/dblp}, booktitle = {INDIN}, crossref = {conf/indin/2013}, ee = {https://doi.org/10.1109/INDIN.2013.6622932}, interhash = {6bb1b084cb9d22877a31df300670e12e}, intrahash = {791cf7d67a9707f8dc74836c2fa822b3}, isbn = {978-1-4799-0752-6}, keywords = {dblp}, pages = {480-487}, publisher = {IEEE}, timestamp = {2018-11-03T16:18:44.000+0100}, title = {A formal engineering approach for control and monitoring systems in a service-oriented environment.}, url = {http://dblp.uni-trier.de/db/conf/indin/indin2013.html#NagornyHCK13}, year = 2013 }