LEADER 01263nam2-2200349li-450- 001 990003080110203316 005 20080424120414.0 010 $a3-540-77683-4 035 $a000308011 035 $aUSA01000308011 035 $a(ALEPH)000308011USA01 035 $a000308011 100 $a2002008031302008----y0itay0103----ba 101 0 $aeng 102 $aDE 200 1 $aFoundations of information and knowledge systems$e5th International symposium, FoIKS 2008$ePisa, Italy, February 11-15, 2008$eproceedings$fSven Hartmann, Gabrielr Kern-Isberner (Eds.) 210 $aBerlin [etc.]$cSpringer$dcopyr. 2008 215 $aXII, 396 p.$cill.$d24 cm 225 2 $aLecture notes in computer science$v4932 410 0$10010020264$12001$aLecture notes in computer science$v4932 702 1$aHARTMANN,$bSven 702 1$aKERN-ISBERNER,$bGabriele 710 12$aInternational symposium, FoIKS 2008$d<5.;$f2008;$ePisa>$0752838 801 0$aITA$bCBS$gISBD 912 $a990003080110203316 951 $a001 LNCS 4932$b36559/CBS$c001$d00216927 959 $aBK 969 $aSCI 979 $aANGELA$b90$c20080313$lUSA01$h1449 979 $aANGELA$b90$c20080424$lUSA01$h1204 996 $aFoundations of information and knowledge systems$91514217 997 $aUNISA LEADER 01721nam 2200325 n 450 001 9910376632503321 005 20230823122121.0 035 $a(CKB)3780000000085925 035 $a(NjHacI)993780000000085925 035 $a(EXLCZ)993780000000085925 100 $a20230823d2015 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aProceedings of the First International Workshop on Software Engineering for Smart Cyber-Physical Systems /$fTomas Bures 210 1$aLos Alamitos, California :$cConference Publishing Services, IEEE Computer Society,$d2015. 215 $a1 online resource (66 pages) 330 $aAnnotation NSF describes Cyber Physical Systems (CPS) as engineered systems that are built from, and depend upon, the seamless integration of computational and physical components H2020 refers to CPS as the next generation embedded ICT systems that are interconnected and collaborating providing citizens and businesses with a wide range of innovative applications and services With the proliferation of smart embedded and mobile devices, CPS are becoming large scale software intensive and pervasive systems These systems combine various data sources to control real world ecosystems (e g, buildings, traffic, energy). 606 $aSoftware engineering$vCongresses 615 0$aSoftware engineering 676 $a005.1 700 $aBures$b Tomas$0937647 801 0$bNjHacI 801 1$bNjHacl 906 $aBOOK 912 $a9910376632503321 996 $aProceedings of the First International Workshop on Software Engineering for Smart Cyber-Physical Systems$92112230 997 $aUNINA