×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [high level behavior]
Bitbol 07 Ontology, Matter and Emergence
36 views
verilog
10 views
HEINZ NIXDORF INSTITUT Universität Paderborn Schaltungstechnik Prof. Dr.-Ing. Ulrich Rückert Robot Communication over Wireless Ad Hoc Network M.Sc. Feng
218 views
7 February 2014 1 An Overview of the Systems Modeling (SysML) Specification Shana L. Lloyd Julie A. Street The Aerospace Corporation Systems Modeling Language
213 views
Computer immunology
85 views
Quantum Programming Languages for Specification and Optimization Fred Chong UC Santa Barbara Ken Brown, Ravi Chugh, Margaret Martonosi, John Reppy and
217 views
1 Non-interference Properties for Probabilistic Processes A Process Algebraic Approach Alessandro Aldini joint work with Mario Bravetti and Roberto Gorrieri
214 views
CS244-Introduction to Embedded Systems and Ubiquitous Computing
22 views