Formal verification of PLC controlled systems using Sensor Graphs

Alenljung, Tord; Lennartson, Bengt

doi:10.1109/coase.2009.5234187

Search citation statements

Order By: Relevance

Paper Sections

Select...

Related Work1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2010

2014

Publication Types

Select...

Other2

Article1

Book1

Relationship

Self Cite0

Independent4

Authors

Journals

Cited by 4 publications

(1 citation statement)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Static analysis deals with observing system and checking some properties before real system creation, production or code implementation. As example, formal verification and model checking techniques [8] [9] are used for verifying models. Behavioural analysis are not beyond in the scope of this article.…”

Section: Related Workmentioning

confidence: 99%

Modeling and analysing ubiquitous systems

Touil¹,

Vareille²,

Lherminier³

et al. 2010

2010 IEEE 15th Conference on Emerging Technologies &Amp; Factory Automation (ETFA 2010)

View full text Add to dashboard Cite

HAL is a multidisciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L'archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d'enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

show abstract

Section: Related Workmentioning

confidence: 99%