Sciweavers

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