×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [temporal logic]
Home >
temporal logic
Zsharif Phd
28 views
Possible Worlds in Narrative Space
62 views
Fast Mutex Lamport
51 views
Final
554 views
Functional Decompositions for Hardware Verification With a few speculations on formal methods for embedded systems Ken McMillan.
218 views
Particles and Waves in Conceptual Time Systems Karl Erich Wolff Mathematics and Science Faculty University of Applied Sciences Darmstadt Ernst Schröder.
212 views
Business Intelligence & XBRL @ MPS Paolo Lombardi Banca Monte dei Paschi di Siena Paolo Lombardi Banca Monte dei Paschi di Siena VII European Banking Supervisors.
216 views
Dependability analysis and evolutionary design optimisation with HiP-HOPS Dr Yiannis Papadopoulos Department of Computer Science University of Hull, U.K.
231 views
Yakir Vizel 1,2 and Orna Grumberg 1 1.Computer Science Department, The Technion, Haifa, Israel. 2.Architecture, System Level and Validation Solutions,
213 views
bluespec talk
1.703 views
Exploiting inference to improve temporal RDF annotations and queries for machine reading
57 views
Chair of Software Engineering Concepts of Concurrent Computation Sebastian Nanz Lecture 2: Challenges of Concurrency.
217 views
Next >