Publications

Combining Pvsio with Stateflow

AuthID
P-00K-KJD

Author(s)

Masci, Paolo

Zhang, Yi

Jones, PaulL.

Oladimeji, Patrick

D'Urso, Enrico

Bernardeschi, Cinzia

Curzon, Paul

Thimbleby, Harold

Editor(s)

Julia M. Badger; Kristin Yvonne Rozier

Document Type

Proceedings Paper

Year published

2014

Published

in NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 8430, Pages: 209-214

Conference

6Th Nasa Formal Methods Symposium, Nfm 2014, Date: 29 April 2014 through 1 May 2014, Location: Houston, TX

Indexing

Scopus^®

Dblp^®/en/publications/view/642637

Crossref^®1

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-319-06200-6_16

Dblp: conf/nfm/MasciZJODBCT14

Scopus: 2-s2.0-84901660818

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Combining Pvsio with Stateflow

Useful Links

Get Help

Federated Authentication (Click on the image)

Combining Pvsio with Stateflow

Useful Links

Get Help