The book summarizes the findings and contributions of the European ARTEMIS project, CESAR, for improving and enabling interoperability of methods, tools, and processes to meet the demands in embedded systems development across four domains - avionics...Loe edasi...
The book summarizes the findings and contributions of the European ARTEMIS project, CESAR, for improving and enabling interoperability of methods, tools, and processes to meet the demands in embedded systems development across four domains - avionics...Loe edasi...
saadame teile pakkumise kasutatud raamatule, mille hind võib erineda kodulehel olevast hinnast
This text presents research results into techniques to aid the verification of hardware/software systems, with the aim of reducing errors, especially where lives are at risk. The projects described were largely based around the OCCAM programming lan...Loe edasi...
