Yazar
Boniol, Frédéric. editor.
Format:
Electronic Resources
Alıntı:
ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on
Yazar
Bojańczyk, Mikołaj. editor.
Format:
Electronic Resources
Alıntı:
cover a range of topics in the field of reachability for infinite state systems; rewriting systems
View Other Search Results
Yazar
Butler, Michael. editor.
Format:
Electronic Resources
Alıntı:
the area of formal methods and software engineering and are devoted to advancing the state of the art
Yazar
Gurfinkel, Arie. editor.
Format:
Electronic Resources
Alıntı:
25 submissions. The goal of this conference is to advance the state of the art in the science and
Yazar
Ait Ameur, Yamine. editor.
Format:
Electronic Resources
Alıntı:
Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse
Yazar
Remke, Anne. editor.
Format:
Electronic Resources
Alıntı:
reviewing and improvement and are summarizing the state-of-the-art in the field, centered around the tree
Yazar
Dediu, Adrian-Horia. editor.
Format:
Electronic Resources
Alıntı:
submissions. The papers cover the following topics: algebraic language theory; algorithms for semi-structured
Yazar
Fajstrup, Lisbeth. author.
Format:
Electronic Resources
Alıntı:
all possible executions in the state space, more than “just” the topological properties have to be
Yazar
Dediu, Adrian-Horia. editor.
Format:
Electronic Resources
Alıntı:
. The papers cover the following topics: algebraic language theory; algorithms on automata and words
Yazar
Bošnački, Dragan. editor.
Format:
Electronic Resources
Alıntı:
, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings / Bošnački, Dragan. editor.
Yazar
Câmpeanu, Cezar. editor.
Format:
Electronic Resources
Alıntı:
Regular Languages -- On the State Complexity of the Shuffle of Regular Languages -- MSO-definable properties
Yazar
Larsen, Kim Guldstrand. editor.
Format:
Electronic Resources
Alıntı:
. The papers cover a range of topics in the field of reachability for infinite state systems; rewriting