Tord Alenljung
Visar 10 publikationer
Sensor Graphs for Discrete Event Modeling Applied to Formal Verification of PLCs
Formal verification of PLC controlled systems using sensor graphs
Discrete Event Process Modeling of Manufacturing Systems Using Sensor Graphs
PLC-based Implementation of Process Observation and Fault Detection for Discrete Event Systems
Sensor activation graphs - A high level modeling formalism for discrete event systems
Semantics of sensor activation graphs
Simplified modeling of manufacturing systems: an introduction to sensor activation graphs
Using Autonomous Modular Material Handling Equipment for Manufacturing Flexibility
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.