Formal Methods for Components and Objects  - FMCO

领  域:  软件工程
主  页:  http://www.informatik.uni-trier.de/~ley/db/conf/fmco/index.html

论文统计图
最新的论文更多>>
Automatic Inference of Bounds on Resource Consumption  
Elvira Albert , Diego M. Alonso , Puri Arenas , Jesus Correas , Antonio Flores-Montoya , Samir Genaim , Miguel Gomez-Zamalloa Gil , Abu Naser Masud , German Puebla , Jose Miguel Rojas , Guillermo Roman-Diez , Damiano Zanardini
Formal Methods for Components and Objects  2012
0次引用 0 0
Controlling Application Interactions on the Novel Smart Cards with Security-by-Contract  
Olga Gadyatskaya , Fabio Massacci
Formal Methods for Components and Objects  2012
0次引用 0 0
Subobject-Oriented Programming  
Marko Van Dooren , David Clarke , B. Jacobs
Formal Methods for Components and Objects  2012
0次引用 0 0
The Abstract Behavioral Specification Language: A Tutorial Introduction  
Reiner Hähnle
Formal Methods for Components and Objects  2012
0次引用 0 0
Verification of Open Concurrent Object Systems  
Ilham W. Kurnia , Arnd Poetzsch-heffter
Formal Methods for Components and Objects  2012
0次引用 0 0
 录用率: 参会人数: 影响力:
投稿方向:
会议点评
还没有人点评哦
主要作者
Frank S. de Boer
Centrum Voor Wiskunde en Informatica
 
Marcello M. Bonsangue
Leiden University
 
Willem-paul De Roever
Christian Albrechts University of Kiel
 
Einar Broch Johnsen
University of Oslo
 
Reiner Hähnle
 
主要概念
Feedback
Feedback
Feedback
我想反馈:
排行榜