BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Adnan Rashid
SearchCollections
Map detail
Adnan Rashid5 visible / 5 total nodes / 4 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAdnan RashidAAdnan RashidResearcherFormal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper)WFormal Verification of ...preprint / 2020FASiM: A Framework for Automatic Formal Analysis of Simulink Models of Linear Analog CircuitsWFASiM: A Framework for ...preprint / 2020Reproducibility of Retinal Thickness Measurements across Spectral-Domain Optical Coherence Tomography Devices using Iowa Reference AlgorithmWReproducibility of Reti...preprint / 2016On the Formalization of the Heat Conduction Problem in HOLWOn the Formalization of...preprint / 2022
Person4 links

Adnan Rashid

Researcher

PaperFormal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper)Authorship / preprint / 2020PaperFASiM: A Framework for Automatic Formal Analysis of Simulink Models of Linear Analog CircuitsAuthorship / preprint / 2020PaperReproducibility of Retinal Thickness Measurements across Spectral-Domain Optical Coherence Tomography Devices using Iowa Reference AlgorithmAuthorship / preprint / 2016PaperOn the Formalization of the Heat Conduction Problem in HOLAuthorship / preprint / 2022

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)