scholarly journals A Model-Based Engineering Methodology for Requirements and Formal Design of Embedded and Real-Time Systems

2017 ◽  
Author(s):  
Fabíola Gonçalves ◽  
Achim Rettberg ◽  
Carlos Pereira ◽  
Michel Soares
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Model Based ◽  
Formal Design ◽  
Time Systems

scholarly journals A formal design language for real-time systems with data

2001 ◽  
Vol 40 (1) ◽  
pp. 3-29
Author(s):  
Steven Bradley ◽  
William Henderson ◽  
David Kendall ◽  
Adrian Robson
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Design Language ◽  
Formal Design ◽  
Time Systems

scholarly journals Model-Based Implementation of Parallel Real-Time Systems

2013 ◽  
pp. 235-249 ◽  
Author(s):  
Ahlem Triki ◽  
Jacques Combaz ◽  
Saddek Bensalem ◽  
Joseph Sifakis
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Model Based ◽  
Time Systems
Sign in / Sign up

Export Citation Format

Share Document