IRCCyN, Nantes, France;
certification; formal verification; operating systems (computers); reachability analysis; source code (software); application model; application-specific real-time operating system; control flow; control variables; embedded code; formal synthesis method; operating system certification; operating system verification; optimal RTOS; reachability analysis; source code; stripped operating system; Adaptation models; Automata; Cost accounting; Memory management; Object oriented modeling; Operating systems; Real-time systems;
机译:基于正式模型的应用特定静态RTOS的合成
机译:完全合成阿尔科金
机译:快速构建多环螺吲哚啉的高效正式[2 + 2 + 2]策略:11-Demethoxy-16-epi-myrtoidine的简明合成
机译:正式合成最佳RTOS
机译:(+)-myrtopsine,(+)-7,8-dimethoxymyrtopsine和相关的苯并呋喃天然产物,(+/-)-蛋黄素和(-)-chaetominine的合成。正式的仿生合成的聚没食子内酯A和B。(-)-伯酸的结构修改和全合成。
机译:nam啶A1 / A2的结构重新分配和合成(+)-NP25302的合成以及SB-311009类似物的形式合成
机译:Xylosmin和香菇的正式方法和F:化学酶的总合成Xylosmin的羟基化环己烯酮羧酸部分