66 search results - page 14 / 14 » TAXYS: A Tool for the Development and Verification of Real-T... |
FMICS
2009
Springer
13 years 12 months ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...