( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Symbolic simulation of industrial real-time and embedded systems -experiments with the bluetooth baseband communication protocol.

, , и . J. Embed. Comput., 1 (1): 39-56 (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Ute Farny

Rolf Farnsteiner

Winfried Farnung

Christopher Farnsworth

Christine Farnhammer

 

Другие публикации лиц с тем же именем

Symbolic Verification of Complex Real-Time Systems with Clock-Restriction Diagram.. FORTE, том 197 из IFIP Conference Proceedings, стр. 235-250. Kluwer, (2001)Test automation for kernel code and disk arrays with virtual devices., , , и . ASE, стр. 505-508. ACM, (2007)Symbolic Simulation-Checking of Dense-Time Automata.. FORMATS, том 4763 из Lecture Notes in Computer Science, стр. 352-368. Springer, (2007)Efficient Verification of Timed Automata with BDD-Like Data-Structures.. VMCAI, том 2575 из Lecture Notes in Computer Science, стр. 189-205. Springer, (2003)Timing Parameter Characterization of Real-Time Systems., и . CIAA, том 2759 из Lecture Notes in Computer Science, стр. 23-34. Springer, (2003)Synthesize Models for Quantitative Analysis Using Automata Learning., , , , , и . NETYS, том 11704 из Lecture Notes in Computer Science, стр. 75-92. Springer, (2019)Region Encoding Diagram for Fully Symbolic Verification of Real-Time Systems.. COMPSAC, стр. 509-515. IEEE Computer Society, (2000)Error Propagation Analysis of Real-Time Data Intensive Applications., , и . IEEE Real Time Technology and Applications Symposium, стр. 166-171. IEEE Computer Society, (1997)Scalable compositional reachability analysis of real-time concurrent systems.. IEEE Real Time Technology and Applications Symposium, стр. 182-191. IEEE Computer Society, (1996)OVL Assertion-Checking of Embedded Software with Dense-Time Semantics., и . RTCSA, том 2968 из Lecture Notes in Computer Science, стр. 254-278. Springer, (2003)