Sort by:

Display:

Collections:

Format:

Publication Type:

  • 43
  • 25
  • 3
  • 1
  • 1
  • 1

Lab:

  • 44
  • 16
  • 5
  • 4
  • 4
  • 4
  • 3
show all

Publication Year:

  • 2
  • 3
  • 3
  • 3
  • 1
  • 2
  • 2
show all

Journal:

  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
show all

Publication Type:

  • 43
  • 25
  • 3
  • 1
  • 1
  • 1

Lab:

  • 44
  • 16
  • 5
  • 4
  • 4
  • 4
  • 3
show all

Publication Year:

  • 2
  • 3
  • 3
  • 3
  • 1
  • 2
  • 2
show all

Journal:

  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
show all
Infoscience 74 records found 1 - 10nextlast  jump to record: Search took 0.08 seconds. 
1.
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. Revised Lectures (Lecture Notes in Comput. Sci. Vol.3185), 237 - 67 (2004)
2004 | Conference Papers |
2.
Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054), 154 - 63 (1999)
1999 | Conference Papers |
3.
4.
5.
6.
7.
Journal of Real-Time Image Processing, 12 (4), 697-708 (2016)
2016 | Journal Articles |
8.
Computer Aided Verification. 11th International Conference, CAV'99. Proceedings (Lecture Notes in Computer Science Vol.1633), 2 - 7 (1999)
1999 | Conference Papers |
9.
ACM Transactions on Embedded Computing Systems, 10 (1) (2010)
ACM TECS Special Issue on Java Technologies for Real-Time and Embedded Systems (JTRES) (2010)
2010 | Journal Articles |
10.

Interested in being notified about new results for this query?
Set up a personal email alert or subscribe to the RSS feed.