Sökning: "LTL networks"

Hittade 2 avhandlingar innehållade orden LTL networks.

1. 1. Intermodal Transport in Less-than-Truckload Networks

   Författare :Robert Sommar; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; mode choice; LTL networks; intermodal transport; decision-making;

   Sammanfattning : In producing transport services several different transport modes are available. Through the last decades, road transport has increased rapidly. This development is recognised as unsustainable. A more sustainable alternative is intermodal transport. LÄS MER

3. 2. Model Checking Parameterized Timed Systems

   Författare :Pritha Mahata; Parosh Abdulla; Jean-Francois Raskin; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Model Checking; Parameterized Systems; Undecidability; Timed Petri Nets; Timed Networks; Computer science; Datavetenskap;

   Sammanfattning : In recent years, there has been much advancement in the area of verification of infinite-state systems. A system can have an infinite state-space due to unbounded data structures such as counters, clocks, stacks, queues, etc. It may also be infinite-state due to parameterization, i.e. LÄS MER