Doron Drusinsky's Documents

Doron Drusinsky's Documents

Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking

Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking
Read more
The difference engine: Charles Babbage

The difference engine: Charles Babbage
Read more
Theories on Law and Ageing: The Jurisprudence of Elder Law

Theories on Law and Ageing: The Jurisprudence of Elder Law
Read more
Ruhige Zeiten

Ruhige Zeiten
Read more
Nonaqueous Electrochemistry

Nonaqueous Electrochemistry
Read more
Ruhige Zeiten

Ruhige Zeiten
Read more
Ruhige Zeiten

Ruhige Zeiten
Read more
The Jacobite Movement in Scotland and in Exile, 1749-1759 (Studies in Modern History)

The Jacobite Movement in Scotland and in Exile, 1749-1759 (Studies in Modern History)
Read more
Driving With Confidence: A Practical Guide to Driving With Low Vision

Driving With Confidence: A Practical Guide to Driving With Low Vision
Read more
Computer Aided Verification, 11 conf., CAV '99

Computer Aided Verification, 11 conf., CAV '99
Read more
Time for Verification: Essays in Memory of Amir Pnueli (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)

Time for Verification: Essays in Memory of Amir Pnueli (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)
Read more
CRC Computational Science)

CRC Computational Science)
Read more
Trade Secrets: Intellectual Piracy and the Origins of American Industrial Power

Trade Secrets: Intellectual Piracy and the Origins of American Industrial Power
Read more
The Weeping Willow: Encounters With Grief

The Weeping Willow: Encounters With Grief
Read more
The Weeping Willow: Encounters With Grief

The Weeping Willow: Encounters With Grief
Read more
Political Bargaining: Theory, Practice and Process

Political Bargaining: Theory, Practice and Process
Read more
The Weeping Willow: Encounters With Grief

The Weeping Willow: Encounters With Grief
Read more
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers (Lecture Notes in Computer Science Programming and Software Engineering)

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers (Lecture Notes in Computer Science Programming and Software Engineering)
Read more
Syntax, Lexical Semantics, and Event Structure (Oxford Studies in Theoretical Linguistics)

Syntax, Lexical Semantics, and Event Structure (Oxford Studies in Theoretical Linguistics)
Read more
Lexical Semantics, Syntax, and Event Structure (Oxford Studies in Theoretical Linguistics)

Lexical Semantics, Syntax, and Event Structure (Oxford Studies in Theoretical Linguistics)
Read more
Formal Techniques for Networked and Distributed Systems - FORTE 2002

Formal Techniques for Networked and Distributed Systems - FORTE 2002
Read more
Federalists Reconsidered

Federalists Reconsidered
Read more
Syntax, Lexical Semantics, and Event Structure (Oxford Studies in Theoretical Linguistics)

Syntax, Lexical Semantics, and Event Structure (Oxford Studies in Theoretical Linguistics)
Read more
A=B

A=B
Read more
Model checking

Model checking
Read more
Model checking

Model checking
Read more
Model Checking

Model Checking
Read more
Verification, Model Checking, and Abstract Interpretation, 9 conf., VMCAI 2008

Verification, Model Checking, and Abstract Interpretation, 9 conf., VMCAI 2008
Read more