Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Francesco Calzolai
Simulation and Analysis of Distributed Systems in Klaim
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Tool Supported Specification and Simulation of Distributed Systems
Klaim-Db: A Modeling Language for Distributed Database Applications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
HLA-Transparent Distributed Simulation of Agent-Based Systems
Real-Time Analysis of Resource-Constrained Distributed Systems by Simulation-Guided Model Checking
ACM SIGBED Review
Engineering
Computer Science
QoS Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation
IEICE Transactions on Information and Systems
Electronic Engineering
Pattern Recognition
Hardware
Computer Vision
Electrical
Architecture
Artificial Intelligence
Software
Distributed Simulation of Agent-Based Systems With HLA
ACM Transactions on Modeling and Computer Simulation
Modeling
Computer Science Applications
Simulation
Design and Simulation for Real-Time Distributed Processing Systems
Analysis and Modelling of Trust in Distributed Information Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Advanced Simulation Model for Dependable Distributed Systems
