Buscar
Mostrando ítems 1-10 de 928
A Spin / Promela Application for Model checking UML Sequence Diagrams
(2018)
UML sequence diagrams usually represent the behavior of systems execution. Automated verification of UML sequence diagrams’ correctness is necessary because they can model critical algorithmic behaviors of information ...
An Spin / Promela application for model checking UML sequence diagrams
(Science and Information Organization, 2018)
MODEL PARTITIONS AND COMPACT TEST CASE SUITES
(World Scientific Publ Co Pte LtdSingapore, 2012)
Look and say sequence steps
(Wolfram Demonstrations Project, 2011)
Look and say sequence steps
(Wolfram Demonstrations Project, 2016)
On the Characterization of l(p)-Compressible Ergodic Sequences
(IEEE-INST Electrical Electronics Engineers, 2015)
This work offers a necessary and sufficient condition for a stationary and ergodic process to be l(p)-compressible in the sense proposed by Amini, Unser and Marvasti ["Compressibility of deterministic and random infinity ...
PCR-RFLP assay as an option for primary HPV test
(Associação Brasileira de Divulgação Científica, 2018)
Pseudorandom sequences in spread-spectrum communications generated by cellular automata
(Universidad Nacional Autónoma de México, 2012)
Pseudorandom sequences in spread-spectrum communications generated by cellular automata
(Universidad Nacional Autónoma de México, 2017)