By the same authors

Formal Refinement in SysML

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

Published copy (DOI)

Author(s)

Department/unit(s)

Publication details

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

Publication series

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

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations