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.
The Isolette System: Illustrating End-to-End Artifacts for Rigorous Model-Based Engineering. [link]Link  The Isolette System: Illustrating End-to-End Artifacts for Rigorous Model-Based Engineering. [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