Showing
1 - 20
results of
59
for search '
Roberto Bruni
'
Skip to content
Toggle navigation
0
items
(Full)
All Fields
Title
Author
Subject
Find
Advanced
Search History
Search by Map:
Arctic
Antarctic
Author
Roberto Bruni
Search Results
Showing
1 - 20
results of
59
for search '
Roberto Bruni
'
, query time: 0.07s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Visual
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Partial Order Methods for Statistical Model Checking and Simulation
Get access
Get access
Get access
Get access
Partial Order Methods for Statistical Model Checking and Simulation
Get access
Get access
Get access
Get access
Galois Connections for Flow Algebras
Get access
Get access
Get access
Get access
Relational Concurrent Refinement: Timed Refinement
Get access
Get access
Get access
Get access
Relational Concurrent Refinement: Timed Refinement
Get access
Get access
Get access
Get access
A Process Calculus for Dynamic Networks
Get access
Get access
Get access
Get access
A Process Calculus for Dynamic Networks
Get access
Get access
Get access
Get access
A Process Calculus for Dynamic Networks
Get access
Get access
Get access
Get access
Galois Connections for Flow Algebras
Get access
Get access
Get access
Get access
Galois Connections for Flow Algebras
Get access
Get access
Get access
Get access
On Asynchronous Session Semantics
Get access
Get access
Get access
Get access
On Asynchronous Session Semantics
Get access
Get access
Get access
Get access
Annotation Inference for Separation Logic Based Verifiers
Get access
Get access
Get access
Get access
Annotation Inference for Separation Logic Based Verifiers
Get access
Get access
Get access
Get access
Dynamic Soundness in Resource-Constrained Workflow Nets
Get access
Get access
Get access
Get access
Linear-Time and May-Testing in a Probabilistic Reactive Setting
Get access
Get access
Get access
Get access
Linear-Time and May-Testing in a Probabilistic Reactive Setting
Get access
Get access
Get access
Get access
Dynamic Soundness in Resource-Constrained Workflow Nets
Get access
Get access
Get access
Get access
Analysis of Deadlocks in Object Groups
Get access
Get access
Get access
Get access
Analysis of Deadlocks in Object Groups
Get access
Get access
Get access
Get access
Select Page | with selected:
Email
Export
Print
Add to Book Bag
1
2
3
Next
Last
Search Tools:
Get RSS Feed
Related Subjects
[INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]
[INFO]Computer Science [cs]
Parallel
[INFO.INFO-DC]Computer Science [cs]/Distributed
and Cluster Computing [cs.DC]
model checking
ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.4: Model checking
ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.7: Simulation Support Systems
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
distributed systems
partial-order reduction
simulation
[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
formal specification
linear time
network protocols
probabilistic transition systems
safety
testing equivalence
verification methods
Data refinement
Z
simulations
timed-refinement
Loading...