Modeling and analyzing mobile ad hoc networks in Real-Time Maude (Q730472): Difference between revisions

@@ Property / cites work @@
+Formal verification of standards for distance vector routing protocols
+Normal rank
@@ Property / cites work @@
+Semantic foundations for generalized rewrite theories
+Normal rank
@@ Property / cites work @@
+All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Model Checking MANETs with Arbitrary Mobility
@@ Property / cites work: Model Checking MANETs with Arbitrary Mobility / rank @@
+Normal rank
@@ Property / cites work @@
+A Calculus for Mobile Ad Hoc Networks
@@ Property / cites work: A Calculus for Mobile Ad Hoc Networks / rank @@
+Normal rank
@@ Property / cites work @@
+A Framework for Mobile Ad hoc Networks in Real-Time Maude
+Normal rank
@@ Property / cites work @@
+Formal Analysis of Leader Election in MANETs Using Real-Time Maude
+Normal rank
@@ Property / cites work @@
+An observational theory for mobile ad hoc networks (full version)
+Normal rank
@@ Property / cites work @@
+A timed calculus for wireless systems
@@ Property / cites work: A timed calculus for wireless systems / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of trustworthy ad hoc networks
@@ Property / cites work: A calculus of trustworthy ad hoc networks / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Q3839051
@@ Property / cites work: Q3839051 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851331
@@ Property / cites work: Q2851331 / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for security analysis of mobile wireless networks
+Normal rank
@@ Property / cites work @@
+Specification of real-time and hybrid systems in rewriting logic
+Normal rank
@@ Property / cites work @@
+Semantics and pragmatics of real-time maude
@@ Property / cites work: Semantics and pragmatics of real-time maude / rank @@
+Normal rank
@@ Property / cites work @@
+Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
+Normal rank
@@ Property / cites work @@
+Rewriting Modulo SMT and Open System Analysis
@@ Property / cites work: Rewriting Modulo SMT and Open System Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+A process calculus for mobile ad hoc networks
@@ Property / cites work: A process calculus for mobile ad hoc networks / rank @@
+Normal rank
@@ Property / cites work @@
+Broadcast Abstraction in a Stochastic Calculus for Mobile Networks
+Normal rank