Sign in
Home
Publications
SAND in Journals
SAND in Conferences
Symposium
SIGSAND 2023
Teaching
Events
About
Sign in
Welcome!
Log into your account
your username
your password
Forgot your password?
Password recovery
Recover your password
your email
Search
Sign in
Welcome! Log into your account
your username
your password
Forgot your password? Get help
Password recovery
Recover your password
your email
A password will be e-mailed to you.
SigSand
planning - designing - developing IT
Special Interest Group on Systems Analysis and Design
Home
Publications
SAND in Journals
SAND in Conferences
Symposium
SIGSAND 2023
Teaching
Events
About
Home
Tags
Juergen Dingel
Tag: Juergen Dingel
Language-specific model checking of UML-RT models
sigsand
-
October 29, 2020
0
An executable formal semantics for UML-RT
sigsand
-
October 29, 2020
0
Model development guidelines for UML-RT: conventions, patterns and antipatterns
sigsand
-
October 29, 2020
0
Execution of Partial State Machine Models
sigsand
-
October 29, 2020
0
Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems
sigsand
-
October 29, 2020
0
