skip to main content
Show Results with:

Results 1 - 10 of 385  for Explore Further

results 1 2 3 4 5 next page
Refined by: subject: Computer Science remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Article
Add to My workspace

Adaptive Task Automata with Earliest-Deadline-First Scheduling

Full text available

View all versions
2
Material Type:
Article
Add to My workspace

Ribo-seq enlightens codon usage bias

DNA Research, 01 June 2017, Vol.24(3), pp.303-210 [Peer Reviewed Journal]

No full-text

View all versions
3
Material Type:
Article
Add to My workspace

Efficient controller synthesis for a fragment of MTL^sub 0, [Infinity]^

Acta Informatica, Jun 2014, Vol.51(3-4), pp.165-192 [Peer Reviewed Journal]

No full-text

View all versions
4
Material Type:
Article
Add to My workspace

Schedulability of Herschel revisited using statistical model checking

International Journal on Software Tools for Technology Transfer, 2015, Vol.17(2), pp.187-199 [Peer Reviewed Journal]

No full-text

View all versions
5
Material Type:
Article
Add to My workspace

Improving Multiple Object Tracking with Optical Flow and Edge Preprocessing

Full text available

6
Material Type:
Article
Add to My workspace

Uppaal SMC tutorial

International Journal on Software Tools for Technology Transfer, 6 January 2015 [Peer Reviewed Journal]

No full-text

View all versions
7
Material Type:
Article
Add to My workspace

Formal verification and simulation for platform screen doors and collision avoidance in subway control systems

International Journal on Software Tools for Technology Transfer, 2014, Vol.16(4), pp.339-361 [Peer Reviewed Journal]

No full-text

View all versions
8
Material Type:
Article
Add to My workspace

Statistical model checking for biological systems

International Journal on Software Tools for Technology Transfer, 2015, Vol.17(3), pp.351-367 [Peer Reviewed Journal]

No full-text

View all versions
9
Material Type:
Article
Add to My workspace

A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets

arXiv.org, Nov 27, 2012

Full text available

View all versions
10
Material Type:
Article
Add to My workspace

Compositional verification of real-time systems using Ecdar

International Journal on Software Tools for Technology Transfer, 2012, Vol.14(6), pp.703-720 [Peer Reviewed Journal]

No full-text

View all versions

Results 1 - 10 of 385  for Explore Further

results 1 2 3 4 5 next page

Refine Search Results

Refine my results

Material type 

  1. Articles  (156)
  2. Conference Proceedings  (106)
  3. book chapters  (85)
  4. Books  (17)
  5. Images  (9)
  6. Technical Report  (6)
  7. Text Resources  (5)
  8. Patents  (1)
  9. Refine further open sub menu

Creation date 

From To
  1. Before2001  (6)
  2. 2001To2004  (8)
  3. 2005To2008  (84)
  4. 2009To2013  (94)
  5. After 2013  (153)
  6. Refine further open sub menu

Language 

  1. English  (330)
  2. French  (17)
  3. Chinese  (1)
  4. Refine further open sub menu

Searching Remote Databases, Please Wait