ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Automatic verification for a class of distributed systems
Distributed Computing
◽
10.1007/pl00008915
◽
2000
◽
Vol 13
(3)
◽
pp. 127-143
◽
Cited By ~ 1
Author(s):
G. Manduchi
◽
M. Moro
Keyword(s):
Distributed Systems
◽
Automatic Verification
Download Full-text
Related Documents
Cited By
References
Automatic verification of distributed systems: The process algebra approach
Formal Methods in System Design
◽
10.1007/bf00121261
◽
1996
◽
Vol 8
(1)
◽
pp. 7-38
◽
Cited By ~ 8
Author(s):
Paola Inverardi
◽
Corrado Priami
Keyword(s):
Distributed Systems
◽
Process Algebra
◽
Automatic Verification
◽
Algebra Approach
Download Full-text
Model Checking Nash-Equilibrium - Automatic Verification of Robustness in Distributed Systems
Formal Methods and Software Engineering - Lecture Notes in Computer Science
◽
10.1007/978-3-030-02450-5_30
◽
2018
◽
pp. 436-440
Author(s):
Dileepa Fernando
Keyword(s):
Distributed Systems
◽
Nash Equilibrium
◽
Model Checking
◽
Automatic Verification
Download Full-text
Automatic verification of uml state chart by bogor model checking tool: Automatic formal verification of network and distributed systems
2015 2nd International Conference on Knowledge-Based Engineering and Innovation (KBEI)
◽
10.1109/kbei.2015.7436146
◽
2015
◽
Cited By ~ 1
Author(s):
Behzad Soleimani Neysian
◽
Seyed Morteza Babamir
Keyword(s):
Distributed Systems
◽
Model Checking
◽
Formal Verification
◽
Automatic Verification
◽
State Chart
Download Full-text
Emotion Detection Device and Method For Use in Distributed Systems
PsycEXTRA Dataset
◽
10.1037/e623582012-001
◽
2012
◽
Cited By ~ 1
Author(s):
Ian M. Bennett
Keyword(s):
Distributed Systems
◽
Emotion Detection
Download Full-text
Emphasizing Distributed Systems
10.1016/s0065-2458(05)x8001-9
◽
2000
◽
Keyword(s):
Distributed Systems
Download Full-text
Computational Methods for Optimizing Distributed Systems
10.1016/s0076-5392(08)x6160-0
◽
1984
◽
Keyword(s):
Distributed Systems
◽
Computational Methods
Download Full-text
Lumped approximation of distributed systems and controllability questions
IEE Proceedings D Control Theory and Applications
◽
10.1049/ip-d.1985.0017
◽
1985
◽
Vol 132
(3)
◽
pp. 89
◽
Cited By ~ 5
Author(s):
B.D.O. Anderson
◽
P.C. Parks
Keyword(s):
Distributed Systems
Download Full-text
Managing evolution in distributed systems
Software Engineering Journal
◽
10.1049/sej.1989.0044
◽
1989
◽
Vol 4
(6)
◽
pp. 321
◽
Cited By ~ 1
Author(s):
Jeff Kramer
◽
Jeff Magee
◽
Morris Sloman
Keyword(s):
Distributed Systems
Download Full-text
The use of GMB in the design of robust software for distributed systems
Software Engineering Journal
◽
10.1049/sej.1989.0037
◽
1989
◽
Vol 4
(5)
◽
pp. 268
◽
Cited By ~ 10
Author(s):
Geoffrey F. Carpenter
◽
Andrew M. Tyrrell
Keyword(s):
Distributed Systems
Download Full-text
DEVELOPMENT OF COMMUNICATION DATA TRANSMISSION PROTOCOL IN DISTRIBUTED SYSTEMS
ELECTRICAL AND COMPUTER SYSTEMS
◽
10.15276/etks.13.89.2014.30
◽
2014
◽
pp. 209-214
Author(s):
P. Ilin
◽
◽
J. Sieck
◽
V. Brovkov
◽
M. Pashkovskyi
Keyword(s):
Distributed Systems
◽
Data Transmission
◽
Transmission Protocol
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close