Special issue on rich models, EU-COST action IC0901 rich-model toolkit
From MaRDI portal
Publication:300403
DOI10.1007/S00236-016-0259-0zbMATH Open1339.00028OpenAlexW2258312647MaRDI QIDQ300403FDOQ300403
Authors:
Publication date: 28 June 2016
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00236-016-0259-0
Recommendations
- The GDML and EuKIM projects: short report on the initiative
- scientific article; zbMATH DE number 4219175
- CD++: a toolkit to develop DEVS models
- From EU projects to a family of model checkers. From Kandinsky to KandISTI
- Objects, components, models and patterns. 46th international conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30--July 4, 2008. Proceedings.
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
This page was built for publication: Special issue on rich models, EU-COST action IC0901 rich-model toolkit
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q300403)
