Assume-guarantee verification of software components in SOFA 2 framework.

Journal article

Title:

Authors:

P. Parízek, F. Plášil

Publication:

IET Software 4 (3)

DOI:

10.1049/iet-sen.2009.0016

Year:

2010

Link:

https://doi.org/10.1049/iet-sen.2009.0016

BibTeX:

@article{parizek_assumeguarantee_2010,
    title = {{Assume-guarantee verification of software components in SOFA 2 framework.}},
    author = {Parízek, Pavel and Plasil, Frantisek},
    year = {2010},
    journal = {{IET Software}},
    number = {3},
    doi = {10.1049/iet-sen.2009.0016},
    pages = {210--211},
    url = {https://doi.org/10.1049/iet-sen.2009.0016},
    volume = {4},
}