Name
Year | DOI | Venue |
|---|---|---|
2013 | 10.1007/978-3-642-38088-4_35 | NASA Formal Methods |
Field | DocType | Citations |
Second-generation programming language,Embedded software,Programming language,Abstraction,Decision table,Model checking,Computer science,Language construct,Usability,Abstraction layer | Conference | 4 |
PageRank | References | Authors |
0.41 | 10 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Daniel Ratiu | 1 | 493 | 38.87 |
| Markus Voelter | 2 | 321 | 29.85 |
| Bernd Kolb | 3 | 151 | 13.29 |
| Bernhard Schätz | 4 | 604 | 94.43 |