典范

此软件的关键字
zbMATH中的参考文献, 1标准件 )
科兹里,Elisavet;雅顿,欧文;迈尔斯,安德鲁C.;施耐德,弗雷德B.:JRIF:Java的反应式信息流控制(2019) Nielson,Hanne Riis;Nielson,Flemming:内容相关信息流控制(2017) Mantel,Heiko;Müller Olm,Markus;Perner,Matthias;Wenner,Alexander:使用动态下推网络自动化模块化信息流分析(2015) Riis Nielson,Hanne;Nielson,Flemming;Li,Ximeng:用于析取信息流的霍尔逻辑(2015) Broberg,Niklas;van Delft,Bart;Sands,David:信息流控制实用编程的典范(2013) ioport公司 Dimitrova,Rayna;Finkbeiner,Bernd;Kovács,Máté;Rabe,Markus N.;Seidl,Helmut:反应系统中的模型检查信息流(2012) Grabowski,Robert:动态安全环境中移动代码的信息流分析(2012) 布罗伯格,尼克拉斯;桑德斯,大卫:Paralocks,基于角色的信息流控制与超越(2010)