Formal Refinement in SysML

Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

Original languageEnglish
Title of host publication11th International Conference on Integrated Formal Methods
Subtitle of host publicationProceedings
EditorsE. Albert, E. Sekerinski
PublisherSpringer
Pages155-170
Number of pages16
ISBN (Electronic)978-3-319-10181-1
ISBN (Print)978-3-319-10180-4
DOIs
Publication statusPublished - 2014

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume8739
ISSN (Print)0302-9743

Cite this