12 results on '"Vigano, L."'
Search Results
2. A hierarchy of knowledge for the formal analysis of security-sensitive business processes.
3. Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA.
4. Automated Validation of Security-Sensitive Web Services Specified in BPEL and RBAC.
5. WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications.
6. Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures.
7. Labeled Natural Deduction Systems for a Family of Tense Logics.
8. A Labeled Tableaux System for the Distributed Temporal Logic DTL.
9. A Qualitative Modal Representation of Quantum Register Transformations.
10. Modular Modelling of Flexible Thin Beams in Multibody Systems.
11. On the use of torque sensors in a space robotics application.
12. The operational space control applied to a space robotic manipulator.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.