uu.seUppsala University Publications
Change search
ReferencesLink to record
Permanent link

Direct link
Spezifikation von Stellwerkslogik mit formalen Methoden
Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Information Technology. Faculty of Science and Technology, Biology, Department of Ecology and Evolution, Computing Science. Datalogi.
2004 (English)In: Signal + Draht, ISSN 0037-4997, no 1+2Article in journal (Other (popular scientific, debate etc.)) Published
Place, publisher, year, edition, pages
2004. no 1+2
Keyword [en]
Formal methods, Railway signalling
National Category
Computer Science
URN: urn:nbn:se:uu:diva-21137OAI: oai:DiVA.org:uu-21137DiVA: diva2:48910
Available from: 2006-12-15 Created: 2006-12-15 Last updated: 2011-01-12

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Eriksson, Lars-Henrik
By organisation
Department of Information TechnologyComputing Science
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

Total: 162 hits
ReferencesLink to record
Permanent link

Direct link