The Isolette System: Illustrating End-to-End Artifacts for Rigorous Model-Based Engineering. Hatcliff, J. & Belt, J. In Hinchey, M. & Steffen, B., editors, The Combined Power of Research, Education, and Dissemination, volume 15240, of Lecture Notes in Computer Science, pages 93-117, 2025. Springer.
Link
Paper bibtex @inproceedings{conf/birthday/HatcliffB25,
added-at = {2025-01-13T00:00:00.000+0100},
author = {Hatcliff, John and Belt, Jason},
biburl = {https://www.bibsonomy.org/bibtex/23fcb4f2392155921bcab5e2a65d6483e/dblp},
booktitle = {The Combined Power of Research, Education, and Dissemination},
crossref = {conf/birthday/2025margaria},
editor = {Hinchey, Mike and Steffen, Bernhard},
ee = {https://doi.org/10.1007/978-3-031-73887-6_9},
interhash = {6afc1713c69cf6be84b956c0083c2a4a},
intrahash = {3fcb4f2392155921bcab5e2a65d6483e},
isbn = {978-3-031-73887-6},
keywords = {dblp},
pages = {93-117},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2025-01-20T07:27:30.000+0100},
title = {The Isolette System: Illustrating End-to-End Artifacts for Rigorous Model-Based Engineering.},
url = {http://dblp.uni-trier.de/db/conf/birthday/margaria2025.html#HatcliffB25},
volume = 15240,
year = 2025
}
Downloads: 0
{"_id":"7DntCREXywxSPLjFJ","bibbaseid":"hatcliff-belt-theisolettesystemillustratingendtoendartifactsforrigorousmodelbasedengineering-2025","author_short":["Hatcliff, J.","Belt, J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2025-01-13T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Hatcliff"],"firstnames":["John"],"suffixes":[]},{"propositions":[],"lastnames":["Belt"],"firstnames":["Jason"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/23fcb4f2392155921bcab5e2a65d6483e/dblp","booktitle":"The Combined Power of Research, Education, and Dissemination","crossref":"conf/birthday/2025margaria","editor":[{"propositions":[],"lastnames":["Hinchey"],"firstnames":["Mike"],"suffixes":[]},{"propositions":[],"lastnames":["Steffen"],"firstnames":["Bernhard"],"suffixes":[]}],"ee":"https://doi.org/10.1007/978-3-031-73887-6_9","interhash":"6afc1713c69cf6be84b956c0083c2a4a","intrahash":"3fcb4f2392155921bcab5e2a65d6483e","isbn":"978-3-031-73887-6","keywords":"dblp","pages":"93-117","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2025-01-20T07:27:30.000+0100","title":"The Isolette System: Illustrating End-to-End Artifacts for Rigorous Model-Based Engineering.","url":"http://dblp.uni-trier.de/db/conf/birthday/margaria2025.html#HatcliffB25","volume":"15240","year":"2025","bibtex":"@inproceedings{conf/birthday/HatcliffB25,\n added-at = {2025-01-13T00:00:00.000+0100},\n author = {Hatcliff, John and Belt, Jason},\n biburl = {https://www.bibsonomy.org/bibtex/23fcb4f2392155921bcab5e2a65d6483e/dblp},\n booktitle = {The Combined Power of Research, Education, and Dissemination},\n crossref = {conf/birthday/2025margaria},\n editor = {Hinchey, Mike and Steffen, Bernhard},\n ee = {https://doi.org/10.1007/978-3-031-73887-6_9},\n interhash = {6afc1713c69cf6be84b956c0083c2a4a},\n intrahash = {3fcb4f2392155921bcab5e2a65d6483e},\n isbn = {978-3-031-73887-6},\n keywords = {dblp},\n pages = {93-117},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2025-01-20T07:27:30.000+0100},\n title = {The Isolette System: Illustrating End-to-End Artifacts for Rigorous Model-Based Engineering.},\n url = {http://dblp.uni-trier.de/db/conf/birthday/margaria2025.html#HatcliffB25},\n volume = 15240,\n year = 2025\n}\n\n","author_short":["Hatcliff, J.","Belt, J."],"editor_short":["Hinchey, M.","Steffen, B."],"key":"conf/birthday/HatcliffB25","id":"conf/birthday/HatcliffB25","bibbaseid":"hatcliff-belt-theisolettesystemillustratingendtoendartifactsforrigorousmodelbasedengineering-2025","role":"author","urls":{"Link":"https://doi.org/10.1007/978-3-031-73887-6_9","Paper":"http://dblp.uni-trier.de/db/conf/birthday/margaria2025.html#HatcliffB25"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Jason?items=1000","dataSources":["miMWJWjn4sT6Q3GDs"],"keywords":["dblp"],"search_terms":["isolette","system","illustrating","end","end","artifacts","rigorous","model","based","engineering","hatcliff","belt"],"title":"The Isolette System: Illustrating End-to-End Artifacts for Rigorous Model-Based Engineering.","year":2025}