<--- Back to Details
First PageDocument Content
Computer programming / Automata theory / Digital electronics / Finite-state machine / UML diagrams / Counter / Java / C Sharp / State diagram / Computing / Software engineering / Models of computation
Date: 2008-05-18 20:05:49
Computer programming
Automata theory
Digital electronics
Finite-state machine
UML diagrams
Counter
Java
C Sharp
State diagram
Computing
Software engineering
Models of computation

State Machine Specification Directly in Java and C++ Alexander Sakharov

Add to Reading List

Source URL: sakharov.net

Download Document from Source Website

File Size: 58,20 KB

Share Document on Facebook

Similar Documents

Cryptography / Public-key cryptography / Post-quantum cryptography / Smart cards / Hash-based cryptography / Digital signature / Cryptographic hash function / Java Card / Hash function / Security token / Cryptographic primitive / XMSS

Is Java Card ready for hash-based signatures? Ebo van der Laan1 , Erik Poll2 , Joost Rijneveld2 , Joeri de Ruiter2 , Peter Schwabe2 , and Jan Verschuren1 ? 1 Netherlands National Communication Security Agency (NLNCSA)

DocID: 1xV0o - View Document

Cryptography / Post-quantum cryptography / Quantum cryptography / Emerging technologies / Quantum computing / Key / Supersingular isogeny key exchange / Ring learning with errors key exchange

Is Java Card ready for hash-based signatures? Ebo van der Laan1 , Erik Poll2 , Joost Rijneveld2 , Joeri de Ruiter2 , Peter Schwabe2 and Jan Verschuren1 1 Netherlands National Communication Security Agency (NLNCSA)

DocID: 1xUSb - View Document

Computing / Software engineering / Computer programming / Concurrent programming languages / High-level programming languages / Type theory / Programming languages / Program analysis / Java virtual machine / Type system / Go / Java

A Specification of Java Loading and Bytecode Verification Allen Goldberg Kestrel Institute 3260 Hillview Av. Palo Alto, CA 94304

DocID: 1xUOd - View Document

Graph theory / Graph connectivity / Strongly connected component / Reachability / Graph / Node / Topological sorting

Demand-Driven Context-Sensitive Alias Analysis for Java Dacong Yan Guoqing Xu Atanas Rountev

DocID: 1xUMO - View Document

Computing / Software engineering / Computer programming / Programming languages / Data types / Java / Programming language syntax / Object-oriented programming languages / Java syntax / Const / F / ALGOL 68

Seuss for Java Language Reference Rajeev Joshi 1 12 FebruaryAbstract

DocID: 1xUzV - View Document