Zum Inhalt springen

  1. Quirk, William J. [Sonstige Person, Familie und Körperschaft]; Quirk, William Joseph [HerausgeberIn]

    Verification and validation of real-time software

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 1985

  5. Bennett, Stuart [VerfasserIn]

    Real-time computer control - [1. print.]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    New York [u.a.]: Prentice Hall, 1988

    Erschienen in: Prentice Hall International series in systems and control engineering

  9. George, Chris W. [HerausgeberIn]; Liu, Zhiming [Sonstige Person, Familie und Körperschaft]; Woodcock, Jim [Sonstige Person, Familie und Körperschaft] ; 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

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2007

    Erschienen in: Lecture notes in computer science ; 4710

  10. Selić, Bran [VerfasserIn]; Gullekson, Garth [VerfasserIn]; Ward, Paul T. [VerfasserIn]

    Real-time object-oriented modeling

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    New York; Chichester [u.a.]: Wiley, 1994

    Erschienen in: Wiley professional computing

  12. Sokolsky, Oleg [HerausgeberIn]; Taşiran, Serdar [Sonstige Person, Familie und Körperschaft] ; 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

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2007

    Erschienen in: Lecture notes in computer science ; 4839

  14. Graham, T. C. Nicholas [HerausgeberIn]; Palanque, Philippe [Sonstige Person, Familie und Körperschaft] ; 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

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2008

    Erschienen in: Lecture notes in computer science ; 5136

  16. Doherty, Gavin [HerausgeberIn]; Blandford, Ann [Sonstige Person, Familie und Körperschaft] ; DSV IS 13 2006 Dublin

    Interactive systems : design, specification, and verification ; 13th international workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006 ; revised papers

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2007

    Erschienen in: Lecture notes in computer science ; 4323