Temporal Logic for Network Flow Analysis.

机译：网络流量分析的时态逻辑。

获取原文

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

No abstract available

著录项

作者
Shimeall, T.;
展开▼
作者单位

展开▼
年度 2010
页码 1-13
总页数 13
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Network analysis(management); Network flows; Computer programming; Logic; Operators(mathematics); Reasoning; Semantics; Software tools; Briefing charts; Temporal logic; Flow analysis; Logic programming;

机译：网络分析（管理）;网络流程;计算机编程;逻辑;运算符（数学）;推理;语义;软件工具;简报图;时间逻辑;流程分析;逻辑编程;

相似文献

外文文献
中文文献
专利

1. Temporal flows in temporal networks [J] . Akrida Eleni C., Czyzowicz Jurek, Gasieniec Leszek, Journal of computer and system sciences . 2019,第AUGa期

机译：时间网络中的时间流
2. Temporal flows in temporal networks [J] . Akrida Eleni C., Czyzowicz Jurek, Gasieniec Leszek, Journal of computer and system sciences . 2019,第Auga期

机译：时间网络中的时间流
3. Functional systems in the context of temporal × modal logics with indexed flows [J] . A. Burrieza, I.P. de Guzman, E. Munoz-Velasco International journal of computer mathematics . 2009,第10a11期

机译：具有索引流的时间×模态逻辑上下文中的功能系统
4. Temporal Flows in Temporal Networks [C] . Eleni C. Akrida, Jurek Czyzowicz, Leszek Gasieniec, International conference on algorithms and complexity . 2017

机译：时间网络中的时间流
5. Spatio-Temporal Logics for Verification and Control of Networked Systems [D] . Haghighi, Iman. 2019

机译：用于验证和控制网络系统的时空逻辑
6. From the Cover: Temporal transcriptional logic of dynamic regulatory networks underlying nitrogen signaling and use in plants [O] . Kranthi Varala, Amy Marshall-Colón, Jacopo Cirrone, 2018

机译：从封面开始：基于氮信号传导和在植物中使用的动态调控网络的时间转录逻辑
7. International Trade Modelling Using Open Flow Networks: A Flow-Distance Based Analysis. [O] . Bin Shen, Jiang Zhang, Yixiao Li, 2015

机译：基于开放流网络的国际贸易建模：基于流量距离的分析。

Temporal Logic for Network Flow Analysis.

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅