{"id":"https://openalex.org/W2809429367","doi":null,"title":"Formal methods for railway oeration and control systems","display_name":"Formal methods for railway oeration and control systems","publication_year":2003,"publication_date":"2003-01-01","ids":{"openalex":"https://openalex.org/W2809429367","mag":"2809429367"},"language":"en","primary_location":{"id":"mag:2809429367","doi":null,"is_oa":false,"landing_page_url":"https://bib.irb.hr/prikazi-rad?&rad=135873","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"article","indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5075644789","display_name":"G\u00e9za Tarnai","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"G\u00e9za Tarnai","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057636324","display_name":"Eckehard Schnieder","orcid":"https://orcid.org/0000-0002-2961-823X","observed_orcids":["https://orcid.org/0000-0002-2961-823X"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Eckehard Schnieder","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5061844875","display_name":"Zdravko To\u0161","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zdravko To\u0161","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.54105803,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13615","display_name":"Transportation Systems and Safety","score":0.8583999872207642,"subfield":{"id":"https://openalex.org/subfields/1704","display_name":"Computer Graphics and Computer-Aided Design"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13615","display_name":"Transportation Systems and Safety","score":0.8583999872207642,"subfield":{"id":"https://openalex.org/subfields/1704","display_name":"Computer Graphics and Computer-Aided Design"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11568","display_name":"Railway Systems and Energy Efficiency","score":0.06719999760389328,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.036400001496076584,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/railway-signaling","display_name":"railway signaling","score":0.8270000219345093},{"id":"https://openalex.org/keywords/train-control","display_name":"train control","score":0.781000018119812},{"id":"https://openalex.org/keywords/railway-operations","display_name":"railway operations","score":0.7129999995231628},{"id":"https://openalex.org/keywords/formal-methods","display_name":"formal methods","score":0.5090000033378601},{"id":"https://openalex.org/keywords/uml-modeling","display_name":"UML modeling","score":0.7429999709129333},{"id":"https://openalex.org/keywords/learning-modules","display_name":"learning modules","score":0.7670000195503235}],"concepts":[{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.6722054481506348},{"id":"https://openalex.org/C2780129039","wikidata":"https://www.wikidata.org/wiki/Q1931107","display_name":"Section (typography)","level":2,"score":0.4805926978588104},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.47433915734291077},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.37901604175567627},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3385148048400879},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.32838112115859985},{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.32188475131988525},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3102707266807556},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.12056708335876465}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:2809429367","doi":null,"is_oa":false,"landing_page_url":"https://bib.irb.hr/prikazi-rad?&rad=135873","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.7207000255584717}],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2272963519","https://openalex.org/W2345462738","https://openalex.org/W2581427926","https://openalex.org/W2181937892","https://openalex.org/W1598314455","https://openalex.org/W2100642507","https://openalex.org/W4281702292","https://openalex.org/W7046613635","https://openalex.org/W6912243672","https://openalex.org/W3176475999"],"abstract_inverted_index":{"SA\u017dETAK":[0],"Za":[1,41],"stvaranje":[2],"modela":[3,47],"Automatskog":[4],"pru\u017enog":[5],"bloka":[6],"kao":[7],"operativne":[8,14],"formalizacije":[9],"znanja,":[10],"potrebno":[11],"je":[12,49,58],"razumjeti":[13],"sistemske":[15],"principe":[16],"i":[17,20,30,37,45,69],"njegovo":[18],"strukturno":[19],"funkcionalno":[21],"ponasanje.":[22],"Pru\u017eni":[23],"blok":[24],"se":[25],"mo\u017ee":[26],"modelirati":[27],"pomocu":[28],"podataka":[29],"metoda":[31],"koristenih":[32],"u":[33,66],"klasicnoj":[34],"\u017eeljeznickoj":[35],"signalizaciji":[36],"vo\u0111enju":[38],"prometa":[39],"vlakova.":[40],"pobli\u017ee":[42],"oznacavanje":[43],"sustava":[44],"izrade":[46],"koristen":[48],"UML":[50],"(Unified":[51],"Modelling":[52,134],"Language)":[53],"progamski":[54],"jezik.":[55],"Edukacijski":[56],"modul":[57],"realiziran":[59],"na":[60],"modelu":[61],"\u017eeljeznice,":[62],"upravljan":[63],"osobnim":[64],"racunalom":[65],"Windows":[67,154],"okru\u017eenju":[68],"objektno":[70],"orijentiranom":[71],"programskom":[72],"podrskom.":[73],"ABSTRACT":[74],"To":[75],"establish":[76],"the":[77,86,95,126,145],"model":[78,132,147],"of":[79,89,125,130,148],"Automatic":[80],"Block":[81],"Section":[82],"(ABS)":[83],"...System":[84],"as":[85],"operative":[87],"formalization":[88],"knowledge,":[90],"we":[91],"need":[92],"to":[93],"understand":[94],"system's":[96],"operating":[97,155],"principals":[98],"and":[99,102,112,117,128,157],"its":[100,131],"structural":[101],"functional":[103],"behaviour.":[104],"Bloc":[105],"section":[106],"can":[107],"be":[108],"modelled":[109],"with":[110],"data":[111],"methods":[113],"inherited":[114],"from":[115],"signalling":[116],"train":[118],"control":[119],"railway":[120,149],"system":[121,127,150,156],"ontology.":[122],"For":[123],"specification":[124],"construction":[129],"Unified":[133],"Language":[135],"has":[136],"been":[137],"used.":[138],"The":[139],"educational":[140],"module":[141],"is":[142],"realised":[143],"by":[144],"small-scale":[146],"using":[151],"peronal":[152],"computers,":[153],"object-oriented":[158],"authoring":[159],"software.":[160]},"counts_by_year":[],"updated_date":"2025-11-06T04:12:42.849631","created_date":"2018-06-29T00:00:00"}