Matches in SemOpenAlex for { <https://semopenalex.org/work/W2166775836> ?p ?o ?g. }
- W2166775836 endingPage "335" @default.
- W2166775836 startingPage "288" @default.
- W2166775836 abstract "The goal of the Provably Correct Systems project (ProCoS) is to develop a mathematical basis for development of embedded, real-time, computer systems. This survey paper introduces the specification languages and verification techniques for four levels of development: Requirements definition and control design; Transformation to a systems architecture with program designs and their transformation to programs; Compilation of real-time programs to conventional processors, and Compilation of programs to hardware." @default.
- W2166775836 created "2016-06-24" @default.
- W2166775836 creator A5019942972 @default.
- W2166775836 creator A5022851173 @default.
- W2166775836 creator A5030616612 @default.
- W2166775836 creator A5033777370 @default.
- W2166775836 creator A5048371376 @default.
- W2166775836 creator A5052847689 @default.
- W2166775836 creator A5070224469 @default.
- W2166775836 creator A5084773409 @default.
- W2166775836 creator A5089746112 @default.
- W2166775836 date "1994-01-01" @default.
- W2166775836 modified "2023-10-02" @default.
- W2166775836 title "Provably Correct Systems" @default.
- W2166775836 cites W1490661246 @default.
- W2166775836 cites W1494289517 @default.
- W2166775836 cites W1497559908 @default.
- W2166775836 cites W1503394241 @default.
- W2166775836 cites W1505911884 @default.
- W2166775836 cites W1506458079 @default.
- W2166775836 cites W1506588809 @default.
- W2166775836 cites W1512712729 @default.
- W2166775836 cites W1520032443 @default.
- W2166775836 cites W1522486842 @default.
- W2166775836 cites W1533438666 @default.
- W2166775836 cites W1559733197 @default.
- W2166775836 cites W1575841458 @default.
- W2166775836 cites W1582882984 @default.
- W2166775836 cites W1585905184 @default.
- W2166775836 cites W1589119013 @default.
- W2166775836 cites W1592306062 @default.
- W2166775836 cites W1593280365 @default.
- W2166775836 cites W1598224919 @default.
- W2166775836 cites W1601820136 @default.
- W2166775836 cites W1750187267 @default.
- W2166775836 cites W1984841973 @default.
- W2166775836 cites W2000302396 @default.
- W2166775836 cites W2003848320 @default.
- W2166775836 cites W2016310411 @default.
- W2166775836 cites W2024668512 @default.
- W2166775836 cites W2026629052 @default.
- W2166775836 cites W2038569232 @default.
- W2166775836 cites W205978083 @default.
- W2166775836 cites W2066381570 @default.
- W2166775836 cites W207180005 @default.
- W2166775836 cites W2082724648 @default.
- W2166775836 cites W2092486735 @default.
- W2166775836 cites W2096360482 @default.
- W2166775836 cites W2099380899 @default.
- W2166775836 cites W2099529102 @default.
- W2166775836 cites W2101211171 @default.
- W2166775836 cites W2110846749 @default.
- W2166775836 cites W2114260919 @default.
- W2166775836 cites W2114754412 @default.
- W2166775836 cites W2126815079 @default.
- W2166775836 cites W2133939589 @default.
- W2166775836 cites W2135120182 @default.
- W2166775836 cites W2144064043 @default.
- W2166775836 cites W2157118812 @default.
- W2166775836 cites W2167467151 @default.
- W2166775836 cites W2180946170 @default.
- W2166775836 cites W25765579 @default.
- W2166775836 cites W2624363895 @default.
- W2166775836 cites W4212811695 @default.
- W2166775836 cites W4214812299 @default.
- W2166775836 cites W2154307838 @default.
- W2166775836 doi "https://doi.org/10.1007/3-540-58468-4_171" @default.
- W2166775836 hasPublicationYear "1994" @default.
- W2166775836 type Work @default.
- W2166775836 sameAs 2166775836 @default.
- W2166775836 citedByCount "63" @default.
- W2166775836 countsByYear W21667758362013 @default.
- W2166775836 countsByYear W21667758362015 @default.
- W2166775836 countsByYear W21667758362017 @default.
- W2166775836 countsByYear W21667758362018 @default.
- W2166775836 countsByYear W21667758362021 @default.
- W2166775836 countsByYear W21667758362023 @default.
- W2166775836 crossrefType "book-chapter" @default.
- W2166775836 hasAuthorship W2166775836A5019942972 @default.
- W2166775836 hasAuthorship W2166775836A5022851173 @default.
- W2166775836 hasAuthorship W2166775836A5030616612 @default.
- W2166775836 hasAuthorship W2166775836A5033777370 @default.
- W2166775836 hasAuthorship W2166775836A5048371376 @default.
- W2166775836 hasAuthorship W2166775836A5052847689 @default.
- W2166775836 hasAuthorship W2166775836A5070224469 @default.
- W2166775836 hasAuthorship W2166775836A5084773409 @default.
- W2166775836 hasAuthorship W2166775836A5089746112 @default.
- W2166775836 hasBestOaLocation W21667758362 @default.
- W2166775836 hasConcept C104317684 @default.
- W2166775836 hasConcept C115903868 @default.
- W2166775836 hasConcept C118524514 @default.
- W2166775836 hasConcept C123657996 @default.
- W2166775836 hasConcept C12426560 @default.
- W2166775836 hasConcept C134306372 @default.
- W2166775836 hasConcept C142362112 @default.
- W2166775836 hasConcept C153349607 @default.
- W2166775836 hasConcept C185592680 @default.
- W2166775836 hasConcept C199360897 @default.