首页>外文期刊>计算机、自动化>计算技术、计算机技术>Formal Aspects of Computing >2006年第4期

Formal Aspects of Computing

Formal Aspects of Computing

SCIEI

中文名称：计算的形式方面

ISSN：0934-5043
出版周期：Bimonthly

发文量：592

期刊论文

年度选择

2021
- 第1期
- 第2期
- 第3期
- 第5期
2020
- 第1期
- 第3期
- 第6期
2019
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2018
- 第1期
- 第2期
- 第4期
- 第5期
- 第6期
2017
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2016
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2015
- 第1期
- 第2期
- 第3期
- 第4期
- 第6期
2014
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2013
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2012
- 第1期
- 第2期
- 第3期
- 第6期
2011
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2010
- 第1期
- 第2期
- 第4期
- 第5期
- 第6期
2009
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2008
- 第1期
- 第2期
- 第3期
- 第5期
- 第6期
2007
- 第2期
- 第3期
- 第4期
2006
- 第1期
- 第2期
- 第3期
- 第4期
2005
- 第1期
- 第2期
- 第3期
- 第4期
2004
- 第1期
- 第2期
- 第3期
- 第4期
2003
- 第3期
- 第3期
- 第4期
- 第4期
2002
- 第1期
- 第2期
2001
- 第1期
2000
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期

更多>>

全选（0）

共5条结果

1.An approximation algorithm for state minimization in 2-MDFAs

机译：2-MDFA中状态最小化的一种近似算法
- 作者：K. Subramani;C. Tauras
- 期刊名称：《Formal Aspects of Computing》 | 2006年第4期
- finite state automata;
- 2-MDFA;
- state minimization;
2.How to stop time stopping

机译：如何停止计时
- 作者：Howard Bowman;Rodolfo Gomez
- 期刊名称：《Formal Aspects of Computing》 | 2006年第4期
- timed automata;
- zeno-timelocks;
- model checking;
- non-zenoness conditions;
3.Analysis of a biphase mark protocol with Uppaal and PVS

机译：使用Uppaal和PVS的双相标记协议分析
- 作者：F.W. Vaandrager;A.L. de Groot
- 期刊名称：《Formal Aspects of Computing》 | 2006年第4期
- biphase mark protocol;
- formal methods;
- model checking;
- theorem provers;
- timed automata;
4.On modelling recursive calls and callbacks with two variants of Unified Modelling Language state diagrams

机译：关于使用统一建模语言状态图的两种变体对递归调用和回调进行建模
- 作者：Jennifer Tenzer;Perdita Stevens
- 期刊名称：《Formal Aspects of Computing》 | 2006年第4期
- UML;
- object-oriented modelling;
- protocol state machines;
- state machines;
- recursion;
- callbacks;
5.A calculus and logic of resources and processes

机译：资源和流程的演算和逻辑
- 作者：David Pym;Chris Tofts
- 期刊名称：《Formal Aspects of Computing》 | 2006年第4期

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有出版物经营许可证

客服微信
服务号