26 treff

sanntidssystemer notrbib real000884
Sanntids datateknikk. B. 2.
Pettersen, Odd, 1934-
Bok Bokmål 1987 · Les boka på nett · Vis mer
Sanntids datateknikk. 1.
Pettersen, Odd, 1934-
Bok Bokmål 1987 · Les boka på nett · Vis mer
Exploiting event-based communication for real-time distributed and parallel video content analysis
by Viktor S. Wold Eide
Bok Engelsk 2005 · Vis mer
Engineering real time systems : an object-oriented methodology using SDL
Rolv Bræk, Øystein Haugen
Bok Engelsk 1993 · Vis mer
Software engineering for real-time systems
Cooling, J.E.
Bok Engelsk 2003 · Vis mer
Real-time systems design and analysis : an engineer's handbook
Laplante, Phillip A.
Bok Engelsk 1993 · Vis mer
Vis flere utgaver
Vis flere utgaver
Real-time software for control : program examples in C
David M. Auslander, Cheng H. Tham
Bok Engelsk 1990 · Vis mer
Implementation modeling techniques
Ward, Paul T.
Bok Engelsk 1986 · Vis mer
Essential modeling techniques
Ward, Paul T.
Bok Engelsk 1985 · Vis mer
Introduction & tools
Ward, Paul T.
Bok Engelsk 1985 · Vis mer
Formal techniques in real-time and fault-tolerant systems : 7th international symposium, FTRTFT 2002 : co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002 : proceedings
FTRTFT 2002
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings
International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software
Bok Engelsk 1999 · Vis mer
Real-time rendering
Tomas Akenine-Möller, Eric Haines, Naty H...
Bok Engelsk 2008 · Vis mer
A rewriting-logic-based approach for the formal modeling and analysis of interacting hybrid systems
by Muhammad Fadlisyah
Bok Engelsk 2014 · Vis mer
Integer programming approaches for real-time traffic management
Andreas Nakkerud
Bok Engelsk 2022 · Vis mer
Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : revised papers
FORMATS 2003
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Formal techniques, modelling and analysis of timed and fault-tolerant systems : Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings
FORMATS 2004
Bok Engelsk 2004 · Vis mer
Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : revised lectures
International School on Formal Methods for the Design of Computer, Communication and Software Systems
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Real-time and embedded computing systems and applications : 9th international conference, RTCSA 2003, Tainan City, Taiwan, ROC, February 18-20, 2003 : revised papers
RTCSA 2003
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000 : proceedings
ACM SIGPLAN Workshop LCTES
Bok Engelsk 2001 · Vis mer
CONCUR 2001 - concurrency theory : 12th international conference, Aalborg, Denmark, August 20-25, 2001 : proceedings
CONCUR 2001
Bok Engelsk 2001 · Vis mer
Hybrid systems V
Panos Antsaklis ... [et al.] (eds.)
Bok Engelsk 1999 · Vis mer
Active, real-time, and temporal database systems : second international workshop, ARTDB-97, Como, Italy, September 8-9, 1997 : proceedings
International Workshop on Active, Real-Time, and TemporalDatabase Systems
Bok Engelsk 1998 · Vis mer
Executive programs and operating systems
edited by G. Cuttle & E. Robinson
Bok Engelsk 1970 · Vis mer
Proceedings
Real-Time Systems Symposium
Bok Engelsk 1993 · Vis mer
Vis flere utgaver
Vis flere utgaver