Conferences in DBLP

(fmics)
2010 (conf/fmics/2010)

1. 
   The Metrô Rio ATP Case Study. [Citation Graph (, )][DBLP]
   
   
2. 
   Practical Issues with Formal Specifications - Lessons Learned from an Industrial Case Study. [Citation Graph (, )][DBLP]
   
   
3. 
   Formal Analysis of BPMN Models Using Event-B. [Citation Graph (, )][DBLP]
   
   
4. 
   Developing Mode-Rich Satellite Software by Refinement in Event B. [Citation Graph (, )][DBLP]
   
   
5. 
   Automatic Error Correction of Java Programs. [Citation Graph (, )][DBLP]
   
   
6. 
   Range Analysis of Microcontroller Code Using Bit-Level Congruences. [Citation Graph (, )][DBLP]
   
   
7. 
   An Automated Translator for Model Checking Time Constrained Workflow Systems. [Citation Graph (, )][DBLP]
   
   
8. 
   Correctness of Sensor Network Applications by Software Bounded Model Checking. [Citation Graph (, )][DBLP]
   
   
9. 
   Model Checking the FlexRay Physical Layer Protocol. [Citation Graph (, )][DBLP]
   
   
10. 
    SMT-Based Formal Verification of a TTEthernet Synchronization Function. [Citation Graph (, )][DBLP]
    
    
11. 
    Embedded Network Protocols for Mobile Devices. [Citation Graph (, )][DBLP]
    
    
12. 
    A Study of Shared-Memory Mutual Exclusion Protocols Using CADP. [Citation Graph (, )][DBLP]
    
    
13. 
    A Formal Model of Identity Mixer. [Citation Graph (, )][DBLP]
    
    
14. 
    Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept. [Citation Graph (, )][DBLP]