ISIS Publications

Export 5 results:
Sort by: [ Author  (Asc)] Title Type Year
Filters: Author is Riley, Derek  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
D
Dubey, A., D. Riley, and S. Abdelwahed, "Modeling and Analysis of Probabilistic Timed Systems", Engineering of Computer Based Systems, San Francisco, USA, 04/2009. Abstract  Download: PTAVerification.pdf (1.42 MB)
R