Skip to contents Quirk, William J. [Other]; Quirk, William Joseph [Editor] Verification and validation of real-time software Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1985 Bemmerl, Thomas [Author] Quellsprachenorientierte Diagnose und Korrektur von Softwarefehlern durch überwachte Ausführung unter Echtzeitbedingungen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München, 1987 Cooling, Jim E. [Author] Software engineering for real-time systems - [1. publ.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Harlow, England [u.a.]: Addison-Wesley, 2003 Tsai, Jeffrey J. P. [Author]; Weigert, Thomas J. [Author] ; Tsai, Jeffrey J.-P [Other] Knowledge-based software development for real-time distributed systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Singapore [u.a.]: World Scientific Publ., 1993 Published in: Series on software engineering and knowledge engineering ; 1 Bennett, Stuart [Author] Real-time computer control - [1. print.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York [u.a.]: Prentice Hall, 1988 Published in: Prentice Hall International series in systems and control engineering Dachselt, Raimund [Author] Eine deklarative Komponentenarchitektur und Interaktionsbausteine für dreidimensionale multimediale Anwendungen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Tönning; Lübeck; Marburg: Der Andere Verl., 2004 Löser, Jork [Author] Low-latency hard real-time communication over Switched Ethernet Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2006 Marz, Nathan [Author]; Warren, James [Author] ; Lorenzen, Knut [Translator] Big Data : Entwicklung und Programmierung von Systemen für große Datenmengen und Einsatz der Lambda-Architektur - [1. Auflage] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Frechen: mitp, 2016 George, Chris W. [Editor]; Liu, Zhiming [Other]; Woodcock, Jim [Other] ; Training School on Domain Modelling and Duration Calculus 2007 Schanghai Domain modeling and the duration calculus : International Training School, Shanghai, China, September 17-21, 2007 ; advanced lectures Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4710 Selić, Bran [Author]; Gullekson, Garth [Author]; Ward, Paul T. [Author] Real-time object-oriented modeling Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York; Chichester [u.a.]: Wiley, 1994 Published in: Wiley professional computing Juan, Eric Y. T. [Author]; Tsai, Jeffrey J. P. [Author] Compositional verification of concurrent and real time systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boston, Mass. [u.a.]: Kluwer Academic Publishers, 2002 Published in: Kluwer international series in engineering and computer science ; 676 Sokolsky, Oleg [Editor]; Taşiran, Serdar [Other] ; International Workshop on Runtime Verification 7 2007 Vancouver, British Columbia Runtime verification : 7th international workshop, RV 2007, Vancover, Canada, March 13, 2007 ; revised selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4839 Heinrich, Matthias [Author] Enriching web applications efficiently with real-time collaboration capabilities Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Chemnitz: Universitätsverlag Chemnitz, 2014 Published in: Doctoral dissertations in web engineering and web science ; 1 Graham, T. C. Nicholas [Editor]; Palanque, Philippe [Other] ; DSV IS 15 2008 Kingston, Ontario Interactive Systems - design, specification, and verification : 15th international workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2008 Published in: Lecture notes in computer science ; 5136 Pauls, Friedrich [Author] ; Vogt Verlag, Technische Universität Dresden Aspects of latency optimization for hash-based digital signatures Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Vogt, 2021 Published in: Beiträge aus der Informationstechnik / Mobile Nachrichtenübertragung ; 91 Doherty, Gavin [Editor]; Blandford, Ann [Other] ; DSV IS 13 2006 Dublin Interactive systems : design, specification, and verification ; 13th international workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006 ; revised papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4323 Bensalem, Saddek [Editor]; Peled, Doron A. [Other] ; RV 9 2009 Grenoble Runtime verification : 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 ; selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2009 Published in: Lecture notes in computer science ; 5779 Leucker, Martin [Editor] ; RV 8 2008 Budapest Runtime verification : 8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 ; selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2008 Published in: Lecture notes in computer science ; 5289 Barringer, Howard [Editor] ; RV 1 2010 Saint Julian's Runtime verification : first international conference, RV 2010, St. Julians, Malta, November 1-4, 2010 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6418 Offenhuber, Dietmar [Editor]; Ratti, Carlo [Other] Die Stadt entschlüsseln : wie Echtzeitdaten den Urbanismus verändern Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Gütersloh; Berlin: Bauverl., 2013 ; Basel: Birkhäuser, 2013 Published in: Bauwelt-Fundamente ; 150
Quirk, William J. [Other]; Quirk, William Joseph [Editor] Verification and validation of real-time software Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1985
Bemmerl, Thomas [Author] Quellsprachenorientierte Diagnose und Korrektur von Softwarefehlern durch überwachte Ausführung unter Echtzeitbedingungen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München, 1987
Cooling, Jim E. [Author] Software engineering for real-time systems - [1. publ.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Harlow, England [u.a.]: Addison-Wesley, 2003
Tsai, Jeffrey J. P. [Author]; Weigert, Thomas J. [Author] ; Tsai, Jeffrey J.-P [Other] Knowledge-based software development for real-time distributed systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Singapore [u.a.]: World Scientific Publ., 1993 Published in: Series on software engineering and knowledge engineering ; 1
Bennett, Stuart [Author] Real-time computer control - [1. print.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York [u.a.]: Prentice Hall, 1988 Published in: Prentice Hall International series in systems and control engineering
Dachselt, Raimund [Author] Eine deklarative Komponentenarchitektur und Interaktionsbausteine für dreidimensionale multimediale Anwendungen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Tönning; Lübeck; Marburg: Der Andere Verl., 2004
Löser, Jork [Author] Low-latency hard real-time communication over Switched Ethernet Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2006
Marz, Nathan [Author]; Warren, James [Author] ; Lorenzen, Knut [Translator] Big Data : Entwicklung und Programmierung von Systemen für große Datenmengen und Einsatz der Lambda-Architektur - [1. Auflage] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Frechen: mitp, 2016
George, Chris W. [Editor]; Liu, Zhiming [Other]; Woodcock, Jim [Other] ; Training School on Domain Modelling and Duration Calculus 2007 Schanghai Domain modeling and the duration calculus : International Training School, Shanghai, China, September 17-21, 2007 ; advanced lectures Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4710
Selić, Bran [Author]; Gullekson, Garth [Author]; Ward, Paul T. [Author] Real-time object-oriented modeling Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York; Chichester [u.a.]: Wiley, 1994 Published in: Wiley professional computing
Juan, Eric Y. T. [Author]; Tsai, Jeffrey J. P. [Author] Compositional verification of concurrent and real time systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boston, Mass. [u.a.]: Kluwer Academic Publishers, 2002 Published in: Kluwer international series in engineering and computer science ; 676
Sokolsky, Oleg [Editor]; Taşiran, Serdar [Other] ; International Workshop on Runtime Verification 7 2007 Vancouver, British Columbia Runtime verification : 7th international workshop, RV 2007, Vancover, Canada, March 13, 2007 ; revised selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4839
Heinrich, Matthias [Author] Enriching web applications efficiently with real-time collaboration capabilities Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Chemnitz: Universitätsverlag Chemnitz, 2014 Published in: Doctoral dissertations in web engineering and web science ; 1
Graham, T. C. Nicholas [Editor]; Palanque, Philippe [Other] ; DSV IS 15 2008 Kingston, Ontario Interactive Systems - design, specification, and verification : 15th international workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2008 Published in: Lecture notes in computer science ; 5136
Pauls, Friedrich [Author] ; Vogt Verlag, Technische Universität Dresden Aspects of latency optimization for hash-based digital signatures Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Vogt, 2021 Published in: Beiträge aus der Informationstechnik / Mobile Nachrichtenübertragung ; 91
Doherty, Gavin [Editor]; Blandford, Ann [Other] ; DSV IS 13 2006 Dublin Interactive systems : design, specification, and verification ; 13th international workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006 ; revised papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4323
Bensalem, Saddek [Editor]; Peled, Doron A. [Other] ; RV 9 2009 Grenoble Runtime verification : 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 ; selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2009 Published in: Lecture notes in computer science ; 5779
Leucker, Martin [Editor] ; RV 8 2008 Budapest Runtime verification : 8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 ; selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2008 Published in: Lecture notes in computer science ; 5289
Barringer, Howard [Editor] ; RV 1 2010 Saint Julian's Runtime verification : first international conference, RV 2010, St. Julians, Malta, November 1-4, 2010 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6418
Offenhuber, Dietmar [Editor]; Ratti, Carlo [Other] Die Stadt entschlüsseln : wie Echtzeitdaten den Urbanismus verändern Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Gütersloh; Berlin: Bauverl., 2013 ; Basel: Birkhäuser, 2013 Published in: Bauwelt-Fundamente ; 150
> Availability Skip to next facet Open Shelves (6) Wert ausschließen Stack Collection (18) Wert ausschließen Ask for availability (1) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (20) Wert ausschließen Central Library (6) Wert ausschließen TU Dresden holdings (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (12) Wert ausschließen Without Specification (14) Wert ausschließen Show more show less
> Language Skip to next facet English (36) Wert ausschließen German (13) Wert ausschließen Not determined (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (28) Wert ausschließen Mathmatics (7) Wert ausschließen Technology (7) Wert ausschließen General (2) Wert ausschließen Economics (2) Wert ausschließen Chemistry and pharmacology (1) Wert ausschließen Geography (1) Wert ausschließen Art and art history (1) Wert ausschließen Sociology (1) Wert ausschließen Show more show less
> Creator Skip to next facet Sokolsky, Oleg (3) Wert ausschließen Barringer, Howard (2) Wert ausschließen Bensalem, Saddek (2) Wert ausschließen Blandford, Ann (2) Wert ausschließen Chen, Lei (2) Wert ausschließen Doherty, Gavin (2) Wert ausschließen George, Chris W. (2) Wert ausschließen Graham, T. C. Nicholas (2) Wert ausschließen Heinrich, Matthias (2) Wert ausschließen Hutchison, David (2) Wert ausschließen International Workshop on Runtime Verification 7 2007 Vancouver, British Columbia (2) Wert ausschließen Kanade, Takeo (2) Wert ausschließen Kittler, Josef (2) Wert ausschließen Kleinberg, Jon (2) Wert ausschließen Leucker, Martin (2) Wert ausschließen Liu, Zhiming (2) Wert ausschließen Löser, Jork (2) Wert ausschließen Mattern, Friedemann (2) Wert ausschließen Mitchell, John C. (2) Wert ausschließen Naor, Moni (2) Wert ausschließen Nierstrasz, Oscar (2) Wert ausschließen Palanque, Philippe (2) Wert ausschließen Pandu Rangan, C. (2) Wert ausschließen Steffen, Bernhard (2) Wert ausschließen Sudan, Madhu (2) Wert ausschließen Terzopoulos, Demetri (2) Wert ausschließen Tsai, Jeffrey J. P. (2) Wert ausschließen Tygar, Doug (2) Wert ausschließen Vardi, Moshe Y. (2) Wert ausschließen Weikum, Gerhard (2) Wert ausschließen Woodcock, Jim (2) Wert ausschließen APWeb 11 2009 Suzhou (1) Wert ausschließen APWeb WAIM 2009 Suzhou (1) Wert ausschließen Anwar, Waqar (1) Wert ausschließen Bakker, J.W.de (1) Wert ausschließen Bakker, Jacobus W. de (1) Wert ausschließen Baumgartner, Edwin (1) Wert ausschließen Bemmerl, Thomas (1) Wert ausschließen Bennett, Stuart (1) Wert ausschließen Blümm, Christian (1) Wert ausschließen Candan, K. Selçuk (1) Wert ausschließen Chiu, Dickson K. W. (1) Wert ausschließen Cooling, Jim E. (1) Wert ausschließen DSV IS 13 2006 Dublin (1) Wert ausschließen DSV IS 15 2008 Kingston, Ontario (1) Wert ausschließen Dachselt, Raimund (1) Wert ausschließen Demaria, Markus (1) Wert ausschließen Ellis, Clarence Arthur (1) Wert ausschließen Falcone, Ylies (1) Wert ausschließen Fettweis, Gerhard (1) Wert ausschließen Finkbeiner, Bernd (1) Wert ausschließen Frey, Georg (1) Wert ausschließen Goubaa Ep Bettaieb, Aicha (1) Wert ausschließen Gullekson, Garth (1) Wert ausschließen HMS Technology Center Ravensburg GmbH (1) Wert ausschließen Havelund, Klaus (1) Wert ausschließen Hedtstück, Ulrich (1) Wert ausschließen Hochschule Reutlingen Fakultät Informatik (1) Wert ausschließen Hochschule Reutlingen Medien- und Kommunikationsinformatik (1) Wert ausschließen Huemer, Mario (1) Wert ausschließen Huizing, C. (1) Wert ausschließen Informatics Inside Veranstaltung 2. 2010 Reutlingen (1) Wert ausschließen Juan, Eric Y. T. (1) Wert ausschließen Kim, Kwang-Hoon (1) Wert ausschließen Kloos, Uwe (1) Wert ausschließen Krishnaswamy, Dilip (1) Wert ausschließen LabCognition, Analytical Software GmbH & Co. KG (1) Wert ausschließen Lee, Insup (1) Wert ausschließen Li, Wen-Syan (1) Wert ausschließen Liu, Chengfei (1) Wert ausschließen Lorenzen, Knut (1) Wert ausschließen Mandarawi, Waseem (1) Wert ausschließen Marz, Nathan (1) Wert ausschließen Meer, Hermann de (1) Wert ausschließen Offenhuber, Dietmar (1) Wert ausschließen Ohms, Jannis (1) Wert ausschließen Ostfalia Hochschule für Angewandte Wissenschaften (1) Wert ausschließen Pace, Gordon J. (1) Wert ausschließen Pauls, Friedrich (1) Wert ausschließen Peled, Doron (1) Wert ausschließen Peled, Doron A. (1) Wert ausschließen Pfeifer, Tom (1) Wert ausschließen Pflanz, Matthias (1) Wert ausschließen Quirk, William J. (1) Wert ausschließen Quirk, William Joseph (1) Wert ausschließen REX Workshop 1991 Mook (1) Wert ausschließen RV 1 2010 Saint Julian's (1) Wert ausschließen RV 8 2008 Budapest (1) Wert ausschließen RV 9 2009 Grenoble (1) Wert ausschließen Rao, Jinghai (1) Wert ausschließen Ratti, Carlo (1) Wert ausschließen Raz, Danny (1) Wert ausschließen Roever, W.P.de (1) Wert ausschließen Rosu, Grigore (1) Wert ausschließen Rozenberg, Grzegorz (1) Wert ausschließen Schürmann, Klaus (1) Wert ausschließen Selić, Bran (1) Wert ausschließen Siemens Aktiengesellschaft (1) Wert ausschließen Strasunskas, Darijus (1) Wert ausschließen Taşiran, Serdar (1) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (45) Wert ausschließen Lizenzfreie Online-Ressourcen (9) Wert ausschließen Diss online (2) Wert ausschließen Qucosa (1) Wert ausschließen Show more show less