FRINK Linked Data Fragments server

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

• W2200017002 abstract "Seasonal depression seriously diminishes the quality of life for many patients. To improve their condition, we propose LUXAMET, a bright light therapy system. This system has the potential to relieve patients from some of the symptoms caused by seasonal depression. The system was designed with a formal and model driven design methodology. This methodology enabled us to minimize systemic hazards, like blinding patients with an unhealthy dose of light. This was achieved by controlling race conditions and memory leaks, during design time. We prove that the system specification is deadlock as well as livelock free and there are no invariant violations. These proofs, together with the similarity between specification model and implementation code, make us confident that the implemented system is a reliable tool which can help patients during seasonal depression." @default.
• W2200017002 created "2016-06-24" @default.
• W2200017002 creator A5012724019 @default.
• W2200017002 creator A5042273602 @default.
• W2200017002 date "2016-08-01" @default.
• W2200017002 modified "2023-09-27" @default.
• W2200017002 title "FORMAL AND MODEL DRIVEN DESIGN OF THE BRIGHT LIGHT THERAPY SYSTEM LUXAMET" @default.
• W2200017002 cites W1488104929 @default.
• W2200017002 cites W1915316839 @default.
• W2200017002 cites W1952399392 @default.
• W2200017002 cites W1961283519 @default.
• W2200017002 cites W1973679205 @default.
• W2200017002 cites W1982673452 @default.
• W2200017002 cites W1990738835 @default.
• W2200017002 cites W1991697528 @default.
• W2200017002 cites W2009787667 @default.
• W2200017002 cites W2012991100 @default.
• W2200017002 cites W2020391798 @default.
• W2200017002 cites W2027192050 @default.
• W2200017002 cites W2031111226 @default.
• W2200017002 cites W2034256728 @default.
• W2200017002 cites W2034613561 @default.
• W2200017002 cites W2035202714 @default.
• W2200017002 cites W2042367902 @default.
• W2200017002 cites W2043596210 @default.
• W2200017002 cites W2049798411 @default.
• W2200017002 cites W2050716480 @default.
• W2200017002 cites W2051448781 @default.
• W2200017002 cites W2052651125 @default.
• W2200017002 cites W2055019700 @default.
• W2200017002 cites W2055710877 @default.
• W2200017002 cites W2057386941 @default.
• W2200017002 cites W2067082332 @default.
• W2200017002 cites W2078403184 @default.
• W2200017002 cites W2079791971 @default.
• W2200017002 cites W2089034242 @default.
• W2200017002 cites W2089204618 @default.
• W2200017002 cites W2090704006 @default.
• W2200017002 cites W2091250160 @default.
• W2200017002 cites W2097331548 @default.
• W2200017002 cites W2097802970 @default.
• W2200017002 cites W2112334970 @default.
• W2200017002 cites W2114564815 @default.
• W2200017002 cites W2116570678 @default.
• W2200017002 cites W2125853559 @default.
• W2200017002 cites W2131740154 @default.
• W2200017002 cites W2133371501 @default.
• W2200017002 cites W2135733203 @default.
• W2200017002 cites W2139580393 @default.
• W2200017002 cites W2145151017 @default.
• W2200017002 cites W2146693326 @default.
• W2200017002 cites W2148154633 @default.
• W2200017002 cites W2148600920 @default.
• W2200017002 cites W2153503260 @default.
• W2200017002 cites W2154145988 @default.
• W2200017002 cites W2162510673 @default.
• W2200017002 cites W2165365531 @default.
• W2200017002 cites W2176300081 @default.
• W2200017002 cites W2417023012 @default.
• W2200017002 cites W2999610704 @default.
• W2200017002 cites W4296471858 @default.
• W2200017002 doi "https://doi.org/10.1142/s0219519416500652" @default.
• W2200017002 hasPublicationYear "2016" @default.
• W2200017002 type Work @default.
• W2200017002 sameAs 2200017002 @default.
• W2200017002 citedByCount "0" @default.
• W2200017002 crossrefType "journal-article" @default.
• W2200017002 hasAuthorship W2200017002A5012724019 @default.
• W2200017002 hasAuthorship W2200017002A5042273602 @default.
• W2200017002 hasBestOaLocation W22000170022 @default.
• W2200017002 hasConcept C108710211 @default.
• W2200017002 hasConcept C126322002 @default.
• W2200017002 hasConcept C127413603 @default.
• W2200017002 hasConcept C139719470 @default.
• W2200017002 hasConcept C159023740 @default.
• W2200017002 hasConcept C162324750 @default.
• W2200017002 hasConcept C168563851 @default.
• W2200017002 hasConcept C177264268 @default.
• W2200017002 hasConcept C199360897 @default.
• W2200017002 hasConcept C200601418 @default.
• W2200017002 hasConcept C2524010 @default.
• W2200017002 hasConcept C2771230 @default.
• W2200017002 hasConcept C2776760102 @default.
• W2200017002 hasConcept C2776867660 @default.
• W2200017002 hasConcept C33923547 @default.
• W2200017002 hasConcept C41008148 @default.
• W2200017002 hasConcept C71924100 @default.
• W2200017002 hasConcept C75606506 @default.
• W2200017002 hasConceptScore W2200017002C108710211 @default.
• W2200017002 hasConceptScore W2200017002C126322002 @default.
• W2200017002 hasConceptScore W2200017002C127413603 @default.
• W2200017002 hasConceptScore W2200017002C139719470 @default.
• W2200017002 hasConceptScore W2200017002C159023740 @default.
• W2200017002 hasConceptScore W2200017002C162324750 @default.
• W2200017002 hasConceptScore W2200017002C168563851 @default.
• W2200017002 hasConceptScore W2200017002C177264268 @default.
• W2200017002 hasConceptScore W2200017002C199360897 @default.
• W2200017002 hasConceptScore W2200017002C200601418 @default.
• W2200017002 hasConceptScore W2200017002C2524010 @default.
• W2200017002 hasConceptScore W2200017002C2771230 @default.

• next