9783540660101 - formal methods for real-time and probabilistic systems: 5th international amast workshop, arts'99, bamberg, germany, may 26-28, 1999, proceedings (lecture notes in computer science, 1601, band 1601) von katoen, jost-pieter (3 Ergebnisse)
- Softcover
Anbieter: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, DeutschlandAntiquariat Thomas Haker GmbH & Co. KG
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: GIAQ
Zustand: Gebraucht - Wie neu
EUR 8,00
EUR 20,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Wie neu. X, 353 S.; with figures, 24 cm, Like new. Shrink wrapped. / Wie neu. In Folie verschweißt. Sprache: Englisch Gewicht in Gramm: 570.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,06
EUR 13,98 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 62,82 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - TheaimoftheARTS 99workshopistobringtogetherresearchersandpr- titioners interested in the design of real-time and probabilistic systems. It is intendedtocoverthewholespectrumofdevelopmentandapplicationofspec- cation,veri cation,analysisandconstruction…techniquesforreal-timeandpro- bilisticsystems. BeingaworkshopundertheumbrellaoftheAMASTmovement (AlgebraicMethodologyAndSoftwareTechnology),ARTSisintendedtoprovide aforumforthepresentationofapproachesthatarebasedonaclearmathema- calbasis. Aspectsofreal-timeandprobabilisticsystemsfortheworkshopinclude (butarenotlimitedto):compositionalconstructionandveri cationtechniques, automaticandmachine-supportedveri cation,casestudies,formalmethodsfor performanceanalysis,semantics,algorithmsandtools,andhybridsystems. ARTS 99wasorganisedbytheLehrstuhlfur Informatik7attheUniversity ofErlangen-Nurn bergandtookplaceattheSt adtlicheVolkshochschuleinB- berg(Oberfranken),GermanyfromMay26{28,1999. PreviouseditionsofARTS workshopswereorganizedbytheUniversityofIowa,USA(1993),Universityof Bordeaux,France(1995),BrighamYoungUniversity,USA(1996),andGeneral SystemsDevelopment,Mallorca,Spain(1997). Previousproceedingsappeared asLNCS1231orasbooksintheAMASTSeriesofComputing. TheProgramCommitteeselected17papersfromatotalof33submissions. Each submitted paper was sent to three Program Committee members, who wereoftenassistedbysub-referees. Duringaone-weekdiscussionviae-mail,the ProgramCommitteehasmadetheselectionofthepapersonthebasisofthe reviews. Thisvolumecontainsthe17selectedpapersplus3invitedpapers(in eitherfullorabstractform). IwouldliketothanktheProgramCommitteemembersandthesub-referees fortheire orts. Ialsoliketothanktheinvitedspeakersforgivingatalkatthe workshopandfortheircontributiontotheproceedings. SpecialthankstoUlrich Herzog,ChrisMoog,TeodorRus,DiegoLatellaandRuthAbraham(Springer- Verlag)fortheirsupport. Withouttheirhelp,thiseventwouldnothavebeen possible. March1999 Joost-PieterKatoen ProgramChair ARTS 99 Invited Speakers Bengt Jonsson (Uppsala University, Sweden) Frits W. Vaandrager(University of Nijmegen, The Netherlands) Moshe Y. Vardi (Rice University, USA) Steering Committee Manfred Broy (Technical University of Munich, Germany) Edmund Clarke (Carnegie Mellon University, USA) Ulrich Herzog (University of Erlangen-Nu rnberg, Germany) Zohar Manna (Stanford University, USA) Maurice Nivat (University of Paris 6, France) Amir Pnueli (Weizmann Institute of Science, Israel) Teodor Rus (Chair, University of Iowa, USA) ProgramCommittee Rajeev Alur (University of Pennsylvania, USA) Jos Baeten (Eindhoven University of Technology, The Netherlands) Christel Baier (University of Mannheim, Germany) Miquel Bertran (University of Ramon Llull, Spain) Antonio Cerone (University of South Australia, Australia) Rance Cleaveland (SUNY at Stony Brook, USA) Jim Davies (Oxford University, UK) Colin Fidge (University of Queensland, Australia) David de Frutos (University of Madrid, Spain) Hubert Garavel (INRIA Rhone-Alpes, France) Constance Heitmeyer (Naval Research Laboratory, USA) Tom Henzinger (University of Berkeley, USA) Jane Hillston (University of Edinburgh, UK) Joost-Pieter Katoen (University of Erlangen-Nu rnberg, Germany, Chair) Rom Langerak (University of Twente, The Netherlands) Kim G.
