Login / Signup
A Formal Framework for the Correct-by-construction and Verification of Distributed Time Triggered Systems.
S. Ramesh
P. Vignesh V. Ganesan
Gurulingesh Raravi
Published in:
SIES (2007)
Keyphrases
</>
distributed systems
formal methods
lightweight
main contribution
formal model
cooperative
management system
theoretical framework
data mining
information systems
databases
autonomous mobile
data repositories
retrieval systems
peer to peer
probabilistic model
knowledge base