@article{bubenik_formal_2019,
	title = {{FORMAL} {METHODS} {IN} {DEVELOPMENT} {OF} {SAFETY} {CRITICAL} {SYSTEM} {SOFTWARE}},
	url = {https://core.ac.uk/display/322595295?recSetID=},
	abstract = {Článek se zaměřuje na využití formálních metod při vývoji softwaru pro bezpečnostně kritické systémy v dopravě. Takové systémy mají narůstající složitost a musejí vyhovovat určitým požadavkům na kvalitu. Formální metody jsou zařazeny do procesu vývoje softwaru. Použití vybrané formální metody Event-B je demonstrováno na specifikaci chování železničního přejezdového zabezpečovacího zařízení.This article focuses on using formal methods in development of safety critical system software in transport. Such system has an increasing complexity and has to meetcertain quality requirements. Formal methods are set in the software development process. The use of formal method Event-B is demonstrated on a railway level crossing protection equipment specification},
	language = {en-gb},
	urldate = {2021-01-27},
	author = {Bubeník, Michal},
	year = {2019},
	keywords = {⛔ No DOI found},
}

{"_id":"bRwmi7nynmjZG92us","bibbaseid":"bubenk-formalmethodsindevelopmentofsafetycriticalsystemsoftware-2019","author_short":["Bubeník, M."],"bibdata":{"bibtype":"article","type":"article","title":"FORMAL METHODS IN DEVELOPMENT OF SAFETY CRITICAL SYSTEM SOFTWARE","url":"https://core.ac.uk/display/322595295?recSetID=","abstract":"Článek se zaměřuje na využití formálních metod při vývoji softwaru pro bezpečnostně kritické systémy v dopravě. Takové systémy mají narůstající složitost a musejí vyhovovat určitým požadavkům na kvalitu. Formální metody jsou zařazeny do procesu vývoje softwaru. Použití vybrané formální metody Event-B je demonstrováno na specifikaci chování železničního přejezdového zabezpečovacího zařízení.This article focuses on using formal methods in development of safety critical system software in transport. Such system has an increasing complexity and has to meetcertain quality requirements. Formal methods are set in the software development process. The use of formal method Event-B is demonstrated on a railway level crossing protection equipment specification","language":"en-gb","urldate":"2021-01-27","author":[{"propositions":[],"lastnames":["Bubeník"],"firstnames":["Michal"],"suffixes":[]}],"year":"2019","keywords":"⛔ No DOI found","bibtex":"@article{bubenik_formal_2019,\n\ttitle = {{FORMAL} {METHODS} {IN} {DEVELOPMENT} {OF} {SAFETY} {CRITICAL} {SYSTEM} {SOFTWARE}},\n\turl = {https://core.ac.uk/display/322595295?recSetID=},\n\tabstract = {Článek se zaměřuje na využití formálních metod při vývoji softwaru pro bezpečnostně kritické systémy v dopravě. Takové systémy mají narůstající složitost a musejí vyhovovat určitým požadavkům na kvalitu. Formální metody jsou zařazeny do procesu vývoje softwaru. Použití vybrané formální metody Event-B je demonstrováno na specifikaci chování železničního přejezdového zabezpečovacího zařízení.This article focuses on using formal methods in development of safety critical system software in transport. Such system has an increasing complexity and has to meetcertain quality requirements. Formal methods are set in the software development process. The use of formal method Event-B is demonstrated on a railway level crossing protection equipment specification},\n\tlanguage = {en-gb},\n\turldate = {2021-01-27},\n\tauthor = {Bubeník, Michal},\n\tyear = {2019},\n\tkeywords = {⛔ No DOI found},\n}\n\n","author_short":["Bubeník, M."],"key":"bubenik_formal_2019","id":"bubenik_formal_2019","bibbaseid":"bubenk-formalmethodsindevelopmentofsafetycriticalsystemsoftware-2019","role":"author","urls":{"Paper":"https://core.ac.uk/display/322595295?recSetID="},"keyword":["⛔ No DOI found"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["⛔ no doi found"],"search_terms":["formal","methods","development","safety","critical","system","software","bubeník"],"title":"FORMAL METHODS IN DEVELOPMENT OF SAFETY CRITICAL SYSTEM SOFTWARE","year":2019}