Membership
Tour
Register
Log in
Parasara Sridhar Duggirala
Follow
Person
Champaign, IL, US
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
Probabilistic model checking of systems with ranged probabilities
Patent number
8,799,194
Issue date
Aug 5, 2014
NEC Laboratories America, Inc.
Parasara Sridhar Duggirala
G06 - COMPUTING CALCULATING COUNTING
Patents Applications
last 30 patents
Information
Patent Application
PROBABILISTIC MODEL CHECKING OF SYSTEMS WITH RANGED PROBABILITIES
Publication number
20130091080
Publication date
Apr 11, 2013
NEC Laboratories America, Inc.
Parasara Sridhar Duggirala
G06 - COMPUTING CALCULATING COUNTING