Adnan Khan
Adnan Khan är doktorand i forskargruppen Automation

Visar 6 publikationer
Testing and validation of safety logic in the virtual environment
On-the-fly conformance testing of safety PLC code using QuickCheck
On the Safe IOCOS relation for Testing Safety PLC Code
Digital Twin for Legacy Systems: Simulation Model Testing and Validation
On the Equivalence of Controllability and the Input Output Conformance Testing Relation
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: