Adnan Khan
Showing 9 publications
On test case reduction for testing safety properties of manufacturing systems
On testing and automatic mending of safety PLC code
On-the-fly conformance testing of safety PLC code using QuickCheck
On the Safe IOCOS relation for Testing Safety PLC Code
Testing and validation of safety logic in the virtual environment
On the Equivalence of Controllability and the Input Output Conformance Testing Relation
Digital Twin for Legacy Systems: Simulation Model Testing and Validation
Virtual Engineering Framework forAutomatic Generation of Control Logic including Safety
Download publication list
You can download this list to your computer.
Filter and download publication list
As logged in user (Chalmers employee) you find more export functions in MyResearch.
You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:
Zotero Connector
Mendeley Web Importer
The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.