Modification date 26 June 2014 03:43:49
From CERES
A list of all pages that have property "Modification dateThis property is a special property in this wiki." with value "26 June 2014 03:43:49".
Since there have been only a few results, also nearby values are displayed.
- Publications:PARS : a process algebraic approach to resources and schedulers + (26 June 2014 03:43:43)
- Publications:Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures : Paris, France, 4th September 2010 + (26 June 2014 03:43:43)
- Publications:Proceedings of Formal Methods 2009 Doctoral Symposium : November 6, 2009: Eindhoven, The Netherlands + (26 June 2014 03:43:44)
- Publications:Synchronizing Asynchronous Conformance Testing + (26 June 2014 03:43:45)
- Publications:Synchrony and asynchrony in conformance testing + (26 June 2014 03:43:45)
- Publications:On the Complexity of Input Output Conformance Testing + (26 June 2014 03:43:46)
- Publications:Decomposability in Input Output Conformance Testing + (26 June 2014 03:43:46)
- Publications:Checking and deriving module paths in Verilog cell library descriptions + (26 June 2014 03:43:47)
- Publications:Analytical software design : introduction and industrial experience report + (26 June 2014 03:43:47)
- Publications:Symbolic Power Analysis of Cell Libraries + (26 June 2014 03:43:48)
- Publications:Order-independence of vector-based transition systems + (26 June 2014 03:43:48)
- Publications:Formal analysis of non-determinism in Verilog cell library simulation models + (26 June 2014 03:43:49)
- Publications:Long-run order-independence of vector-based transition systems + (26 June 2014 03:43:49)
- Publications:Model checking Verilog descriptions of cell libraries + (26 June 2014 03:43:50)
- Publications:Mechanized Extraction of Topology Anti-patterns in Wireless Networks + (26 June 2014 03:43:51)
- Publications:Integrating Model-Based and Constraint-Based Testing Using SpecExplorer + (26 June 2014 03:43:51)
- Publications:Real-time task reconfiguration support applied to an UAV-based surveillance system + (26 June 2014 03:43:52)
- Publications:Dynamic Self-Rescheduling of Tasks over a Heterogeneous Platform + (26 June 2014 03:43:52)
- Publications:Supporting platform for heterogeneous sensor network operation based on unmanned vehicles systems and wireless sensor nodes + (26 June 2014 03:43:53)
- Publications:Coordination Mechanism and Customizable Hardware Platform to Provide Heterogeneous Wireless Sensor Networks Support + (26 June 2014 03:43:53)
- Publications:Dynamic activity and task allocation supporting uav teams in surveillance systems + (26 June 2014 03:43:54)
- Publications:Mobile Agents Model and Performance Analysis of a Wireless Sensor Network Target Tracking Application + (26 June 2014 03:43:55)
