Vis enkel innførsel

dc.contributor.authorSpichkova, Maria
dc.contributor.authorBlech, Jan Olaf
dc.contributor.authorHerrmann, Peter Michael
dc.contributor.authorSchmidt, Heinz
dc.date.accessioned2015-01-26T16:44:20Z
dc.date.accessioned2016-05-12T08:02:48Z
dc.date.available2015-01-26T16:44:20Z
dc.date.available2016-05-12T08:02:48Z
dc.date.issued2014
dc.identifier.citationCEUR Workshop Proceedings 2014, 1235:49-58nb_NO
dc.identifier.issn1613-0073
dc.identifier.urihttp://hdl.handle.net/11250/2389211
dc.description.abstractThis paper presents an approach for modeling and veri - cation of components controlling behaviour of safety-critical systems in their physical environment. In particular, we introduce the modeling language FocusST that is centred on specifying time and space aspects. Veri cations can be carried out using the interactive semi-automatic proof assistant Isabelle. The approach is exempli ed by means of a railway system scenario.nb_NO
dc.language.isoengnb_NO
dc.rightsNavngivelse-Ikkekommersiell-IngenBearbeidelse 3.0 Norge*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/no/*
dc.titleModeling Spatial Aspects of Safety-Critical Systems with FOCUS-STnb_NO
dc.typeJournal articlenb_NO
dc.typePeer reviewednb_NO
dc.date.updated2015-01-26T16:44:20Z
dc.source.pagenumber49-58nb_NO
dc.source.volume1235nb_NO
dc.source.journalCEUR Workshop Proceedingsnb_NO
dc.identifier.cristin1191060
dc.description.localcode© The authorsnb_NO


Tilhørende fil(er)

Thumbnail

Denne innførselen finnes i følgende samling(er)

Vis enkel innførsel

Navngivelse-Ikkekommersiell-IngenBearbeidelse 3.0 Norge
Med mindre annet er angitt, så er denne innførselen lisensiert som Navngivelse-Ikkekommersiell-IngenBearbeidelse 3.0 Norge