Sciweavers

2645 search results - page 5 / 529
» time 2003
Sort
View
104
Voted
FDL
2003
IEEE
15 years 8 months ago
Combining Formal Refinement and Model Checking for Real-Time Systems Verification
Alexander Krupp, Wolfgang Müller 0003
ICNP
2003
IEEE
15 years 8 months ago
Network Time Synchronization Using Clock Offset Optimization
Omer Gurewitz, Israel Cidon, Moshe Sidi