Login / Signup
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems.
Minyoung Kim
Mark-Oliver Stehr
Carolyn L. Talcott
Nikil D. Dutt
Nalini Venkatasubramanian
Published in:
FMOODS (2007)
Keyphrases
</>
embedded systems
formal analysis
low cost
distributed systems
software systems
formal methods
multi agent
computer networks
peer to peer
communication technologies
resource allocation
distributed computing
resource constrained