Formal Aspects of Computing  - FAC

领  域:  软件工程
主  页:  http://www.springerlink.com/content/102822/

论文统计图
最新的论文更多>>
A framework for model transformation verification  
Kevin Lano , Tony Clark , S. Kolahdouz-Rahimi
Formal Aspects of Computing  2015
0次引用 0 0
In memoriam: Professor Heinz Zemanek (1920---2014)  
Cliff B. Jones
Formal Aspects of Computing  2015
0次引用 0 0
Strategy based semantics for mobility with time and access permissions  
Gabriel Ciobanu , Maciej Koutny , Jason Steggles
Formal Aspects of Computing  2015
0次引用 0 0
Balancing expressiveness in formal approaches to concurrency  
Cliff B. Jones , Ian J. Hayes , Robert J. Colvin
Formal Aspects of Computing  2015
0次引用 0 0
Verification of distributed systems with the axiomatic system of MSVL  
Qian Ma , Zhenhua Duan , Nan Zhang , Xiaobing Wang
Formal Aspects of Computing  2015
0次引用 0 0
 录用率: 审稿周期: 个月 影响力:
投稿方向:
期刊点评
还没有人点评哦
主要作者
Jim Woodcock
University of York
 
Ana Cavalcanti
York University
 
Jifeng He
East China Normal University
 
Ralph-Johan Back
Abo Akademi University
 
Wim H. Hesselink
 
主要概念
Feedback
Feedback
Feedback
我想反馈:
排行榜