Formal specification and verification of components for industrial logic control programming
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Oscar Ljungkrantz, Knut Åkesson, Martin Fabian
Formal specification and verification of components for industrial logic control programming
CASE, 2008.

CASE 2008
DBLP
Scholar
DOI
Full names Links ISxN
@inproceedings{CASE-2008-LjungkrantzAF,
	author        = "Oscar Ljungkrantz and Knut Åkesson and Martin Fabian",
	booktitle     = "{Proceedings of the Fourth International Conference on Automation Science and Engineering}",
	doi           = "10.1109/COASE.2008.4626518",
	isbn          = "978-1-4244-2022-3",
	pages         = "935--940",
	publisher     = "{IEEE}",
	title         = "{Formal specification and verification of components for industrial logic control programming}",
	year          = 2008,
}

Tags:



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.