Formal modeling and validation of a power-efficient grouping protocol for WSNs (Q444471): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+M14
@@ Property / Mathematics Subject Classification ID: 68M14 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+M12
@@ Property / Mathematics Subject Classification ID: 68M12 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+M10
@@ Property / Mathematics Subject Classification ID: 68M10 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6065756
@@ Property / zbMATH DE Number: 6065756 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+wireless sensor networks
@@ Property / zbMATH Keywords: wireless sensor networks / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+game theory
@@ Property / zbMATH Keywords: game theory / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+grouping
@@ Property / zbMATH Keywords: grouping / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+formal modeling
@@ Property / zbMATH Keywords: formal modeling / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SensorSim
@@ Property / describes a project that uses: SensorSim / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlap.2011.12.001
+Normal rank
@@ Property / OpenAlex ID @@
+W1973884659
@@ Property / OpenAlex ID: W1973884659 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4226167
@@ Property / cites work: Q4226167 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4424117
@@ Property / cites work: Q4424117 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703706
@@ Property / cites work: Q2703706 / rank @@
+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 @@
+Integrated formal methods. 6th international conference, IFM 2007, Oxford, UK, July 2--5, 2007. Proceedings.
+Normal rank
@@ Property / cites work @@
+Methods, models and tools for fault tolerance
@@ Property / cites work: Methods, models and tools for fault tolerance / rank @@
+Normal rank
@@ Property / cites work @@
+Q2816007
@@ Property / cites work: Q2816007 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4271995
@@ Property / cites work: Q4271995 / rank @@
+Normal rank
@@ Property / cites work @@
+An Object-Oriented Component Model for Heterogeneous Nets
+Normal rank
@@ Property / cites work @@
+Formal methods for open object-based distributed systems. 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4--6, 2008. Proceedings
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+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 @@
+A structural approach to operational semantics
@@ Property / cites work: A structural approach to operational semantics / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:444471