Name
Abstract | ||
|---|---|---|
The following topics are dealt with: formal specification; software engineering; Unified Modeling Language; specification languages; software architecture; object-oriented programming; learning (artificial intelligence); formal verification; automotive engineering; embedded systems. |
Year | DOI | Venue |
|---|---|---|
2019 | 10.1109/MODELS-C.2019.00053 | 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) |
Keywords | Field | DocType |
Metamodeling,Internet of Things,Embedded Software,Verification,UML,IP XACT | Systems engineering,Computer science,Internet of Things,Model integration,Firmware,Embedded system | Conference |
ISBN | Citations | PageRank |
978-1-7281-5126-7 | 0 | 0.34 |
References | Authors | |
10 | 5 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Arthur Kühlwein | 1 | 0 | 0.68 |
| Anton Paule | 2 | 0 | 0.34 |
| Leon Hielscher | 3 | 0 | 1.01 |
| Wolfgang Rosenstiel | 4 | 1462 | 212.32 |
| Oliver Bringmann | 5 | 586 | 71.36 |