02359nlm0 22006251i 450 9900092543804033219783540709305000925438FED01000925438(Aleph)000925438FED0100092543820100926d2008----km-y0itay50------baengDEdrnn-008mamaaModel-Driven Development of Reliable Automotive ServicesRisorsa elettronicaSecond Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papersedited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Manfred Broy, Ingolf H. Krüger, Michael MeisingerBerlin ; HeidelbergSpringer2008Lecture Notes in Computer Science0302-97434922Documento elettronicoTestoFormato html, pdfBroy,ManfredHutchison,DavidKanade,TakeoKittler,JosefKleinberg,Jon M.Krüger,Ingolf H.Mattern,FriedemannMeisinger,MichaelMitchell,John C.Naor,MoniNierstrasz,OscarPandu Rangan,C.Steffen,BernhardSudan,MadhuTerzopoulos,DemetriTygar,DougVardi,Moshe Y.Weikum,GerhardITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-70930-5EB990009254380403321Computation by Abstract DevicesComputer scienceComputer ScienceComputer simulationLogic designLogics and Meanings of ProgramsSimulation and ModelingSoftware engineeringSoftware EngineeringSpecial Purpose and Application-Based SystemsModel-Driven Development of Reliable Automotive Services774371UNINA