搜索页_Bisimulations

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Opening Hours
Collections
Help Via Email

Electronic Information Resources

外文资源

内部出版物

Wiley电子期刊(1)	SpringerLink电子期刊(160)	Elsevier电子期刊(95)
Springer电子图书(8)	ProQuest学位论文(2)

在“SpringerLink电子期刊”中，命中：160条，耗时：小于0.01 秒

在所有数据库中总计命中：266条

1. Verification of Networks of Smart Energy Systems over the Cloud

关键词：Cyber ; physical systems ; Systems of systems ; Internet of things ; Hybrid models ; Stochastic processes ; Nondeterminism ; Partial observations ; Real ; time systems ; Security ; Model learning ; (quantitative) probabilistic verification ; Formal abstractions ; Bisimulations ; Statistical verification ; Feedback controllers ; Policy and strategy synthesis ; Distributed control ; Safety and performance ; Games ; Correct ; by design synthesis ; Autonomy ; Energy and power networks ; Electricity demand ; response ; Thermostatically controlled loads

刊名：Lecture Notes in Computer Science

出版年：2017

2. A New Roadmap for Linking Theories of Programming

刊名：Lecture Notes in Computer Science

出版年：2017

3. Relating Bisimulations with Attractors in Boolean Network Models

关键词：Biological regulatory networks ; Bisimulation ; Minimization of models

刊名：Lecture Notes in Computer Science

出版年：2016

4. Complete Proof Systems for Amortised Probabilistic Bisimulations

作者： Li-Li Xu ; Hui-Min Lin

关键词：axiomatization ; probabilistic calculus for communication systems (CCS) ; probabilistic automata ; amortised bisimulation

刊名：Journal of Computer Science and Technology

出版年：2016

5. Bi-Simulating in Bi-Intuitionistic Logic

作者： Guillermo Badia

关键词：Bi ; intuitionistic logic ; Van Benthem’s characterization theorem ; Directed bisimulations ; Model theory

刊名：Studia Logica

出版年：2016

6. Computing maximal weak and other bisimulations

作者： Alexandre Boulgakov ; Thomas Gibson-Robinson ; A. W. Roscoe

刊名：Formal Aspects of Computing

出版年：2016

7. VeriSiMPL 2: An open-source software for the verification of max-plus-linear systems

作者： Dieky Adzkiya ; Yining Zhang ; Alessandro Abate

关键词：Max ; plus algebra ; Discrete ; event systems ; Piece ; wise affine systems ; Transition systems ; Model abstractions ; Difference ; bound matrices ; Bisimulations ; Model checking

刊名：Discrete Event Dynamic Systems

出版年：2016

8. Transitivity and Difunctionality of Bisimulations

刊名：Lecture Notes in Computer Science

出版年：2016

9. Place Bisimulation and Liveness for Open Petri Nets

关键词：Open Petri net ; Interaction ; Bisimulation ; Liveness

刊名：Lecture Notes in Computer Science

出版年：2016

10. SPEC: An Equivalence Checker for Security Protocols

刊名：Lecture Notes in Computer Science

出版年：2016

1

2

3

4

5

6

7

8

9

按检索点细分(160)

题名(68)

关键词(15)

文摘(124)

按出版年细分(160)

2017年(2)

2016年(10)

2015年(6)

2014年(19)

2013年(12)

2012年(11)

2011年(1)

2010年(1)

2009年(8)

2008年(18)

2007年(20)

2006年(14)

2005年(19)

2003年(4)

2002年(1)

2001年(1)

2000年(4)

2000年及以前(9)

NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via email.