Showing
21 - 40
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
21 - 40
results of
59
for search '
Roberto Bruni
'
, query time: 0.30s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Visual
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Contracts for Multi-instance UML Activities
Get access
Get access
Get access
Get access
Contracts for Multi-instance UML Activities
Get access
Get access
Get access
Get access
Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checki...
Get access
Get access
Get access
Get access
Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checki...
Get access
Get access
Get access
Get access
Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checki...
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
Analyzing BGP Instances in Maude
Get access
Get access
Get access
Get access
Analyzing BGP Instances in Maude
Get access
Get access
Get access
Get access
Ownership Types for the Join Calculus
Get access
Get access
Get access
Get access
Ownership Types for the Join Calculus
Get access
Get access
Get access
Get access
Analyzing BGP Instances in Maude
Get access
Get access
Get access
Get access
A Model-Checking Tool for Families of Services
Get access
Get access
Get access
Get access
A Model-Checking Tool for Families of Services
Get access
Get access
Get access
Get access
A Model-Checking Tool for Families of Services
Get access
Get access
Get access
Get access
An Accurate Type System for Information Flow in Presence of Arrays
Get access
Get access
Get access
Get access
An Accurate Type System for Information Flow in Presence of Arrays
Get access
Get access
Get access
Get access
An Accurate Type System for Information Flow in Presence of Arrays
Get access
Get access
Get access
Get access
On global types and multi-party sessions
Get access
Get access
Get access
Get access
On global types and multi-party sessions
Get access
Get access
Get access
Get access
On global types and multi-party sessions
Get access
Get access
Get access
Get access
Select Page | with selected:
Email
Export
Print
Add to Book Bag
First
Prev
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...