Nothing Special »
Address
:
[go:
up one dir
,
main page
]
Include Form
Remove Scripts
Accept Cookies
Show Images
Show Referer
Rotate13
Base64
Strip Meta
Strip Title
Session Cookies
×
Please click
here
if you are not redirected within a few seconds.
All
Images
Books
Videos
Maps
News
Shopping
Search tools
Any time
Any time
Past hour
Past 24 hours
Past week
Past month
Past year
All results
All results
Verbatim
Did you mean:
UML/SysML-Systemanalyse zur Generierung von formalen
Verifikation Eigenschaften
für verschiedene Abstraktionsebenen.
[PDF] FEST: Funktionale Verifikation von Systemen - edacentrum GmbH
www.edacentrum.de › files › projekte
Extraktion von Verifikationseigenschaften aus Modellen auf hohen Abstraktionsebenen. Diese aus UML/SysML gewonnenen Systemeigenschaften werden dann in der ...