7 results on '"Guernic, Gurvan Le"'
Search Results
2. In my Wish List, an Automated Tool for Fail-Secure Design Analysis: an Alloy-Based Feasibility Draft
3. Epistemic Temporal Logic for Information Flow Security
4. From Monolithic to Microservice Architecture: The Case of Extensible and Domain-Specific IDEs
5. A language agnostic approach to modeling requirements
6. ENCoVer: Symbolic Exploration for Information Flow Security
7. Automaton-based Confidentiality Monitoring of Concurrent Programs
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.