|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
4 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Automation and consistency analysis of test cases written in natural language: An industrial context |
Arruda, Filipe |
|
189 | C |
p. |
article |
|
| 2 | Editorial Board |
|
189 | C |
p. |
article |
||
| 3 | Formalizing hierarchical scheduling for refinement of real-time systems |
Zhu, Chenyang |
|
189 | C |
p. |
article |
|
| 4 | Pallene: A companion language for Lua |
Gualandi, Hugo Musso |
|
189 | C |
p. |
article |
4 results found