×
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
39 views
verilog
11 views
HEINZ NIXDORF INSTITUT Universität Paderborn Schaltungstechnik Prof. Dr.-Ing. Ulrich Rückert Robot Communication over Wireless Ad Hoc Network M.Sc. Feng
233 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
214 views
Computer immunology
86 views
Quantum Programming Languages for Specification and Optimization Fred Chong UC Santa Barbara Ken Brown, Ravi Chugh, Margaret Martonosi, John Reppy and
218 views
1 Non-interference Properties for Probabilistic Processes A Process Algebraic Approach Alessandro Aldini joint work with Mario Bravetti and Roberto Gorrieri
216 views
CS244-Introduction to Embedded Systems and Ubiquitous Computing
22 views