Formal Transformation of Platform Independent Models into Platform Specific Models

Pontus Boström, Mats Neovius, Ian Oliver, Marina Walden

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

Original languageUndefined/Unknown
Title of host publicationB 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings
EditorsJ Julliand, O Kouchnarenko
PublisherSpringer
Pages186–200
ISBN (Electronic)978-3-540-68761-0
ISBN (Print)978-3-540-68760-3
DOIs
Publication statusPublished - 2007
MoE publication typeA4 Article in a conference publication
Eventconference; 2007-01-17; 2007-01-19 - 7th International Conference of B Users
Duration: 17 Jan 200719 Jan 2007

Conference

Conferenceconference; 2007-01-17; 2007-01-19
Period17/01/0719/01/07

Cite this