by
Duc, Bui Minh. editor.
Format:
Electronic Resources
Excerpt:
Real-Time Object Uniform Design Methodology with UML Duc, Bui Minh. editor.
by
Ma, Zhe. editor.
Format:
Electronic Resources
Excerpt:
Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based
View Other Search Results
by
Jones, Cliff. editor.
Format:
Electronic Resources
Excerpt:
Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the
by
Dunne, Steve. editor.
Format:
Electronic Resources
Excerpt:
ProofPower-Z -- Termination of Real-Time Programs: Definitely, Definitely Not, or Maybe -- Hierarchical
by
Margaria, Tiziana. editor.
Format:
Electronic Resources
Excerpt:
, Reliable Systems Using Scade -- Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time
by
Grieskamp, Wolfgang. editor.
Format:
Electronic Resources
Excerpt:
Real-Time Test Cases -- Time Unbalanced Partial Order -- Testing Systems of Concurrent Black-Boxes—An
by
Dewson, Robin. author.
Format:
Electronic Resources
Excerpt:
time. This book examines the ins and outs of assemblies when they should and should not be used, what
by
Wang, Meng. editor.
Format:
Electronic Resources
Excerpt:
Development -- Typed Relational Conversion -- A Multi-tier Version of Elm and its Time-Traveling Debugger
by
Frenz, Christopher M. author.
Format:
Electronic Resources
Excerpt:
the creator's dissatisfaction with what were at the time standard data-parsing solutions. Indeed
by
Kröger, Fred. author.
Format:
Electronic Resources
Excerpt:
linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical
by
Moodie, Matthew. author.
Format:
Electronic Resources
Excerpt:
sources. He gets right to the point and teaches you to use Tomcat without wasting time on Java or JSP
by
Schliebusch, Oliver. author.
Format:
Electronic Resources
Excerpt:
computational power is now efficiently possible for the first time. Optimized ASIP Synthesis from Architecture
Limit Search Results
Narrowed by: