KOPS
English
Deutsch
Log In
User Name
Password
Log in
Please contact the KOPS team if you do not have a user account at the University of Konstanz (kops.kim@uni-konstanz.de)
Have you forgotten your password?
KOPS
Departments
All of DSpace
English
Deutsch
Log In
User Name
Password
Log in
Please contact the KOPS team if you do not have a user account at the University of Konstanz (kops.kim@uni-konstanz.de)
Have you forgotten your password?
Home
Ressourcen
Personen
Weiser, Jannis
Person:
Weiser, Jannis
Loading...
Email Address
ORCID
Birth Date
Research Projects
Organizational Units
Job Title
Last Name
Weiser
First Name
Jannis
Name
1 results
Back to results
Filters
Type
Contribution to a conference collection
1
Search type
Submit
Author
Caltais, Georgiana
1
Leitner-Fischer, Florian
1
Leue, Stefan
1
Weiser, Jannis
1
Search author name
Submit
Date
Start
End
Submit
2017
1
Has files
Yes
1
Reset filters
Settings
Sort By
Most Relevant
Title Ascending
Date Issued Descending
Accessioned Date Descending
Results per page
1
5
10
20
40
60
80
100
All of DSpace
Search
Search Tools
Search Results
Export
BibTeX
CSV
Now showing
1 - 1 of 1
Loading...
Publication
Contribution to a conference collection
SysML to NuSMV Model Transformation via Object-Orientation
(
2017
)
Caltais, Georgiana
;
Leitner-Fischer, Florian
;
Leue, Stefan
;
Weiser, Jannis
Published in: Cyber Physical Systems : Design, Modeling, and Evaluation : Revised Selected Papers / Berger, Christian; Mousavi, Mohammad Reza; Wisniewski, Rafael (ed.). - Cham : Springer, 2017. - (Lecture Notes in Computer Science ; 10107). - pp. 31-45. - ISBN 978-3-319-51737-7
(259.17 KB)
