BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × China
1 × India
1 × USA
Collaborated with:
B.Lennartson M.Sköldstam K.Åkesson
Talks about:
system (3) sensor (3) graph (3) activ (2) plc (2) manufactur (1) introduct (1) implement (1) simplifi (1) process (1)

Person: Tord Alenljung

DBLP DBLP: Alenljung:Tord

Contributed to:

CASE 20092009
CASE 20072007
CASE 20062006
CASE 20052005

Wrote 4 papers:

CASE-2009-AlenljungL #graph #using #verification
Formal verification of PLC controlled systems using Sensor Graphs (TA, BL), pp. 164–170.
CASE-2007-AlenljungSLA #detection #fault #implementation #process
PLC-based Implementation of Process Observation and Fault Detection for Discrete Event Systems (TA, MS, BL, ), pp. 207–212.
CASE-2006-AlenljungL #graph #semantics
Semantics of Sensor Activation Graphs (TA, BL), pp. 419–424.
CASE-2005-AlenljungL #graph #modelling
Simplified modeling of manufacturing systems: an introduction to sensor activation graphs (TA, BL), pp. 261–266.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.