Adnan Khan
Visar 9 publikationer
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
Ladda ner publikationslistor
Du kan ladda ner denna lista till din dator.
Filtrera och ladda ner publikationslista
Som inloggad användare hittar du ytterligare funktioner i MyResearch.
Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:
Zotero Connector
Mendeley Web Importer
Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.