POOSL

MaRDI QIDQ15469swMATHFDO

Official website http://www.es.ele.tue.nl/she/

Described by source

• Performance modelling of a network processor using POOSL.

Cited in

(3)

• Predictable real-time software synthesis
• TypeScript
• Static type checking without downcast operator

This page was built for software: POOSL