Context-adaptive software; Formal models; Software verification; Future informatic systems;
机译:为通往更安全的未来指明道路关于道路标记如何使我们的道路更安全的ERF立场文件
机译:软件定义的基于网络的车辆网络:其建模和实施的位置纸张
机译:立场文件:土耳其软件决策过程中的误解和歧视
机译:安全上下文自适应软件的预备思考(位置纸)
机译:关于环境政策的思考以及对制浆造纸业采用环境创新的贡献。
机译:基于软件的基于网络的车载网络:关于其建模和实现的立场文件
机译:立场文件。 K-12学生的安全:美国关于LGBT学生安全的政策必须包括在内