Sciweavers

2811 search results - page 125 / 563
» Real-Time Component-Based Systems
Sort
View
FTRTFT
1998
Springer
15 years 6 months ago
KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98)
Marius Bozga, Conrado Daws, Oded Maler, Alfredo Ol...
94
Voted
GLVLSI
1997
IEEE
115views VLSI» more  GLVLSI 1997»
15 years 6 months ago
Hardware interface design for real time embedded systems
Adel Baganne, Jean Luc Philippe, Eric Martin