Computer Science – Cryptography and Security
Scientist
Computer Science
Cryptography and Security
Scientist
University of Illinois at Urbana-Champaign
Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis
Distributed Real-Time Emulation of Formally-Defined Patterns for Safe Medical Device Control
Specification and Verification of Distributed Embedded Systems: A Traffic Intersection Product Family
State Space Reduction in the Maude-NRL Protocol Analyzer
Using the PALS Architecture to Verify a Distributed Topology Control Protocol for Wireless Multi-Hop Networks in the Presence of Node Failures
No associations
LandOfFree
Jose Meseguer does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Jose Meseguer, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Jose Meseguer will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-232942