厄洛斯

此软件的关键字
zbMATH中的参考文献(参考文献 4条 )
哈里斯,威廉R。; 杰哈,萨梅什; 代表,托马斯W。; Seshia,Sanjit A.:交互式安全系统的程序综合(2017) Lopriore,Lanfranco:分布式系统中的对象保护(2013) ioport公司 戈拉,丹妮尔; Pugliese,Rosario:网络感知协调语言中能力的动态管理(2009) 操作系统验证概述(2009)