The following pages link to jETI (Q13228):
Displayed 4 items.
- Translating FSP into LOTOS and networks of automata (Q613134) (← links)
- Model checking dynamic memory allocation in operating systems (Q835783) (← links)
- The electronic tool integration platform: Concepts and design (Q1856185) (← links)
- Quality Engineering: Leveraging Heterogeneous Information (Q3075468) (← links)