Showing 1 - 3 results of 3 for search 'Shirokova, Ekaterina', query time: 0.01s Refine Results
  1. 1
    Checking robustness of web services based on the parallel composition of partial timed finite state machines
    Get full text
    Book Chapter
  2. 2
    Optimizing components of finite state machines composition based on don’t care input sequences in hardware implementation
    Get full text
    Book Chapter
  3. 3
    Using models of finite transition systems for checking Web-service security
    Other Authors: “...Shirokova, Ekaterina V....”
    Get full text
    Book Chapter
Search Tools: Get RSS Feed