Software Tools for Formal Specification and Verification of Distributed Real-Time Systems

1994 ◽  
Author(s):  
J. Kim ◽  
J. Choi ◽  
I. Lee
Keyword(s):  
Real Time ◽  
Formal Specification ◽  
Software Tools ◽  
Real Time Systems ◽  
Formal Specification And Verification ◽  
Specification And Verification ◽  
Time Systems

scholarly journals Formal specification and verification of real-time systems using Graph Grammars

2007 ◽  
Vol 13 (4) ◽  
pp. 51-68
Author(s):  
Leonardo Michelon ◽  
Simone André da Costa ◽  
Leila Ribeiro
Keyword(s):  
Real Time ◽  
Formal Specification ◽  
Graph Grammars ◽  
Real Time Systems ◽  
Formal Specification And Verification ◽  
Specification And Verification ◽  
Time Systems

scholarly journals Formal Specification and Verification of Real-Time Systems using Graph Grammars

2007 ◽  
Vol 13 (4) ◽  
pp. 51-68 ◽  
Author(s):  
Leonardo Michelon ◽  
Simone André da Costa ◽  
Leila Ribeiro
Keyword(s):  
Real Time ◽  
Formal Specification ◽  
Graph Grammars ◽  
Real Time Systems ◽  
Formal Specification And Verification ◽  
Specification And Verification ◽  
Time Systems

The Use of Aggregate Approach for Formal Specification and Simulation of Real-Time Systems

2001 ◽  
pp. 189-198
Author(s):  
Henrikas Pranevicius ◽  
Dalius Makackas
Keyword(s):  
Real Time ◽  
Formal Specification ◽  
Real Time Systems ◽  
Time Systems

Formal Specification and Timing Analysis of High-Integrity Real-Time Systems

1994 ◽  
pp. 187-211
Author(s):  
Miguel Felder ◽  
Carlo Ghezzi ◽  
Mauro Pezzé
Keyword(s):  
Real Time ◽  
Formal Specification ◽  
Timing Analysis ◽  
Real Time Systems ◽  
High Integrity ◽  
Time Systems
Sign in / Sign up

Export Citation Format

Share Document