Static Analysis Techniques to Verify Mutual Exclusion Situations within SysML Models release_iisamqiep5acplfikzmjjsdb5q

by Ludovic Apvrille, Pierre de Saqui-Sannes

Published in Lecture Notes in Computer Science by Springer Berlin Heidelberg.

2013   p91-106

Archived Files and Locations

application/pdf  356.1 kB
file_nz3nb4gwgrhdjo337ovzhji4b4
oatao.univ-toulouse.fr (repository)
web.archive.org (webarchive)
application/pdf  425.9 kB
file_pjed44c65bgl7gdiqqgwpz5rv4
biblio.telecom-paristech.fr (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2013
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 2e559d65-87a4-40eb-926d-16952c5a45da
API URL: JSON