Anders P. Ravn · 3 obras en el catálogoObrasAAutomated Technology for Verification and AnalysisAutomated Technology for Verification and AnalysisDDesign of embedded real-time computing systemsDesign of embedded real-time computing systemsPProceedings of the 9th International Workshop on Java TechnoProceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems
AAutomated Technology for Verification and AnalysisAutomated Technology for Verification and Analysis
PProceedings of the 9th International Workshop on Java TechnoProceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems