FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2123162020> ?p ?o ?g. }

• W2123162020 endingPage "25" @default.
• W2123162020 startingPage "5" @default.
• W2123162020 abstract "Dassault Aviation is a French aircraft manufacturer building civil business jets (the Falcon family) and military jet fighters (the Mirage and Rafale families). It has been concerned with formal methods inside the development process of avionic software since 1989. In this paper, we give a comprehensive account of three industrial-size studies carried out at Dassault Aviation using the reactive synchronous language ESTEREL and its toolset, in collaboration with the public research team that develops ESTEREL at Ecole des Mines de Paris and INRIA Sophia-Antipolis. We deal with software engineering issues related to compilation, optimization and verification of safety-critical embedded software. The goal is to ensure production of efficient and reliable code." @default.
• W2123162020 created "2016-06-24" @default.
• W2123162020 creator A5019035155 @default.
• W2123162020 creator A5021845824 @default.
• W2123162020 creator A5065470795 @default.
• W2123162020 creator A5070783150 @default.
• W2123162020 creator A5088893880 @default.
• W2123162020 creator A5090529943 @default.
• W2123162020 date "2000-01-01" @default.
• W2123162020 modified "2023-10-02" @default.
• W2123162020 title "ESTEREL: a formal method applied to avionic software development" @default.
• W2123162020 cites W1482002366 @default.
• W2123162020 cites W1497282068 @default.
• W2123162020 cites W1500286044 @default.
• W2123162020 cites W1511336169 @default.
• W2123162020 cites W1553233117 @default.
• W2123162020 cites W1591643794 @default.
• W2123162020 cites W1879281873 @default.
• W2123162020 cites W1986402635 @default.
• W2123162020 cites W1992006255 @default.
• W2123162020 cites W2038952689 @default.
• W2123162020 cites W2080267935 @default.
• W2123162020 cites W2081938726 @default.
• W2123162020 cites W2099529102 @default.
• W2123162020 cites W2125023624 @default.
• W2123162020 cites W2137467159 @default.
• W2123162020 cites W2852225 @default.
• W2123162020 cites W3006425221 @default.
• W2123162020 cites W4206356007 @default.
• W2123162020 cites W4206455946 @default.
• W2123162020 cites W4229862309 @default.
• W2123162020 cites W4231151029 @default.
• W2123162020 cites W4245561868 @default.
• W2123162020 cites W4246404081 @default.
• W2123162020 cites W44128908 @default.
• W2123162020 doi "https://doi.org/10.1016/s0167-6423(99)00015-5" @default.
• W2123162020 hasPublicationYear "2000" @default.
• W2123162020 type Work @default.
• W2123162020 sameAs 2123162020 @default.
• W2123162020 citedByCount "46" @default.
• W2123162020 countsByYear W21231620202012 @default.
• W2123162020 countsByYear W21231620202013 @default.
• W2123162020 countsByYear W21231620202014 @default.
• W2123162020 countsByYear W21231620202015 @default.
• W2123162020 countsByYear W21231620202016 @default.
• W2123162020 countsByYear W21231620202017 @default.
• W2123162020 countsByYear W21231620202018 @default.
• W2123162020 countsByYear W21231620202019 @default.
• W2123162020 countsByYear W21231620202020 @default.
• W2123162020 countsByYear W21231620202022 @default.
• W2123162020 countsByYear W21231620202023 @default.
• W2123162020 crossrefType "journal-article" @default.
• W2123162020 hasAuthorship W2123162020A5019035155 @default.
• W2123162020 hasAuthorship W2123162020A5021845824 @default.
• W2123162020 hasAuthorship W2123162020A5065470795 @default.
• W2123162020 hasAuthorship W2123162020A5070783150 @default.
• W2123162020 hasAuthorship W2123162020A5088893880 @default.
• W2123162020 hasAuthorship W2123162020A5090529943 @default.
• W2123162020 hasConcept C109905503 @default.
• W2123162020 hasConcept C115903868 @default.
• W2123162020 hasConcept C127413603 @default.
• W2123162020 hasConcept C146978453 @default.
• W2123162020 hasConcept C15792166 @default.
• W2123162020 hasConcept C180152950 @default.
• W2123162020 hasConcept C199360897 @default.
• W2123162020 hasConcept C201995342 @default.
• W2123162020 hasConcept C2777904410 @default.
• W2123162020 hasConcept C41008148 @default.
• W2123162020 hasConcept C512918668 @default.
• W2123162020 hasConcept C529173508 @default.
• W2123162020 hasConcept C74448152 @default.
• W2123162020 hasConcept C98045186 @default.
• W2123162020 hasConceptScore W2123162020C109905503 @default.
• W2123162020 hasConceptScore W2123162020C115903868 @default.
• W2123162020 hasConceptScore W2123162020C127413603 @default.
• W2123162020 hasConceptScore W2123162020C146978453 @default.
• W2123162020 hasConceptScore W2123162020C15792166 @default.
• W2123162020 hasConceptScore W2123162020C180152950 @default.
• W2123162020 hasConceptScore W2123162020C199360897 @default.
• W2123162020 hasConceptScore W2123162020C201995342 @default.
• W2123162020 hasConceptScore W2123162020C2777904410 @default.
• W2123162020 hasConceptScore W2123162020C41008148 @default.
• W2123162020 hasConceptScore W2123162020C512918668 @default.
• W2123162020 hasConceptScore W2123162020C529173508 @default.
• W2123162020 hasConceptScore W2123162020C74448152 @default.
• W2123162020 hasConceptScore W2123162020C98045186 @default.
• W2123162020 hasIssue "1" @default.
• W2123162020 hasLocation W21231620201 @default.
• W2123162020 hasLocation W21231620202 @default.
• W2123162020 hasOpenAccess W2123162020 @default.
• W2123162020 hasPrimaryLocation W21231620201 @default.
• W2123162020 hasRelatedWork W1880548325 @default.
• W2123162020 hasRelatedWork W1932020719 @default.
• W2123162020 hasRelatedWork W2097022260 @default.
• W2123162020 hasRelatedWork W2103976456 @default.
• W2123162020 hasRelatedWork W274383389 @default.
• W2123162020 hasRelatedWork W2968727836 @default.
• W2123162020 hasRelatedWork W3108892563 @default.

• next