%0 Conference Paper %1 conf/ftscs/JacobsS14 %A Jacobs, Jaco %A Simpson, Andrew C. %B FTSCS %D 2014 %E Artho, Cyrille %E Ölveczky, Peter Csaba %I Springer %K dblp %P 127-141 %T A Formal Model of SysML Blocks Using CSP for Assured Systems Engineering. %U http://dblp.uni-trier.de/db/conf/ftscs/ftscs2014.html#JacobsS14 %V 476 %@ 978-3-319-17580-5

@inproceedings{conf/ftscs/JacobsS14, added-at = {2023-06-26T00:00:00.000+0200}, author = {Jacobs, Jaco and Simpson, Andrew C.}, biburl = {https://www.bibsonomy.org/bibtex/2be0ceeac8ca594c8f57df59c8d70168c/dblp}, booktitle = {FTSCS}, crossref = {conf/ftscs/2014}, editor = {Artho, Cyrille and Ölveczky, Peter Csaba}, ee = {https://doi.org/10.1007/978-3-319-17581-2_9}, interhash = {590e8a0ba6e5634b4e3d25e798367b83}, intrahash = {be0ceeac8ca594c8f57df59c8d70168c}, isbn = {978-3-319-17580-5}, keywords = {dblp}, pages = {127-141}, publisher = {Springer}, series = {Communications in Computer and Information Science}, timestamp = {2024-04-10T07:25:03.000+0200}, title = {A Formal Model of SysML Blocks Using CSP for Assured Systems Engineering.}, url = {http://dblp.uni-trier.de/db/conf/ftscs/ftscs2014.html#JacobsS14}, volume = 476, year = 2014 }