Travelled to:
1 × USA
Collaborated with:
G.Simko T.Levendovszky S.Neema J.Sztipanovits
Talks about:
composit (1) specif (1) semant (1) physic (1) integr (1) formal (1) compon (1) cyber (1)
Person: David Lindecker
DBLP: Lindecker:David
Contributed to:
Wrote 1 papers:
- MoDELS-2013-SimkoLLNS #component #composition #cyber-physical #integration #semantics #specification
- Specification of Cyber-Physical Components with Formal Semantics — Integration and Composition (GS, DL, TL, SN, JS), pp. 471–487.